NuttX RTOS

(Apache) NuttX is a RTOS for microcontrollers and microprocessors from 8-bit to 64-bit with an emphasis on standards compliance and small footprint.