nuttx/boards/risc-v/esp32c6/esp32c6-devkitc/configs/tickless
..
defconfig