NuttX Real-Time Operating System

''NuttX is a real-time operating system (RTOS) with an emphasis on standards compliance and small footprint. Scalable from 8-bit to 32-bit microcontroller environments, the primary governing standards in NuttX are Posix and ANSI standards. Additional standard APIs from Unix and other common RTOS's (such as VxWorks) are adopted for functionality not available under these standards, or for functionality that is not appropriate for deeply-embedded environments (such as fork). ''

http://www.nuttx.org/

Exemple sur STM32 Nucleo : http://sourceforge.net/p/nuttx/git/ci/a4ef43f723c23f8556b3bc1a2196359c842f691b/tree/nuttx/configs/nucleo-f401re/