incubator-nuttx/boards/risc-v/esp32h2/esp32h2-devkit/configs/tickless
..
defconfig