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

embeddedmcumicrocontrollernuttxreal-timertos

patacongo 05d501d356 With these fixes, the kernel build is basically functional (but there is more to be done) ... git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@5722 42af7a65-404d-4744-a932-0658087f49c3		2013-03-09 01:27:42 +00:00
configs	With these fixes, the kernel build is basically functional (but there is more to be done)	2013-03-09 01:27:42 +00:00