Apache NuttX is a mature, real-time embedded operating system (RTOS)
Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
Modular and configurable OS for embedded applications
Embedded JavaScript engine for C/C++
Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control