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

embeddedmcumicrocontrollernuttxreal-timertos

patacongo 5eb635293c Force directory name to be nuttx-xx.yy.zz ... git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@284 42af7a65-404d-4744-a932-0658087f49c3		2007-06-10 02:24:53 +00:00
Documentation	Force directory name to be nuttx-xx.yy.zz	2007-06-10 02:24:53 +00:00