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

embeddedmcumicrocontrollernuttxreal-timertos

patacongo 69596d80cd Fix an issue for architectures where interrupt numbers and vector numbers do not match 1-to-1 ... git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@4258 42af7a65-404d-4744-a932-0658087f49c3		2012-01-04 00:14:45 +00:00
Documentation	Fix an issue for architectures where interrupt numbers and vector numbers do not match 1-to-1	2012-01-04 00:14:45 +00:00