Apache NuttX
Real-time embedded operating system
What it does
NuttX is a real-time operating system aimed at embedded devices, with POSIX-style interfaces and support for different processors and boards.
When to use it
When choosing a firmware platform for a development board, consult board and configuration guides to compare processor support, device drivers, and the available build options.