nuttx/boards/xtensa/esp32/esp32-ethernet-kit/configs/tickless
..
defconfig