https://embetronicx.com/tutorials/rtos/nuttx/setup-nuttx-rtos-on-esp32-dev-board/
Setup NuttX RTOS with ESP32 Dev Board