NuttX is a real-time operating system (RTOS) microcontroller environments.
Supported platforms: Expressif ESP32 (Xtensa LX6) MicroChip PIC32 ...