nuttx/boards/risc-v/esp32c3/esp32c3-generic/configs/tickless
..
defconfig