nuttx/tools/esp32c6
…
..
Config.mk