Apache NuttX is a mature, real-time embedded operating system (RTOS) https://nuttx.apache.org/

embeddedmcumicrocontrollernuttxreal-timertos

Gregory Nutt 64aa48c60f Assembler changes with the gcc-47 distribution from ARM mean that we need to be explicit about branch one or more of the wide branch opcodes results in bad table branching. From Mike Smith		2014-01-23 15:29:57 -06:00
arch	Assembler changes with the gcc-47 distribution from ARM mean that we need to be explicit about branch one or more of the wide branch opcodes results in bad table branching. From Mike Smith	2014-01-23 15:29:57 -06:00