Send the following on WhatsApp
Continue to ChatSetup NuttX RTOS with ESP32 Dev Board https://embetronicx.com/tutorials/rtos/nuttx/setup-nuttx-rtos-on-esp32-dev-board/
Setup NuttX RTOS with ESP32 Dev Board https://embetronicx.com/tutorials/rtos/nuttx/setup-nuttx-rtos-on-esp32-dev-board/