Apache NuttX is a mature, real-time embedded operating system (RTOS) - View it on GitHub