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

embeddedmcumicrocontrollernuttxreal-timertos

patacongo 39c5565d0e Argument to up_udelay() should be type useconds_t ... git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2400 42af7a65-404d-4744-a932-0658087f49c3		2009-12-20 22:24:02 +00:00
arch	Argument to up_udelay() should be type useconds_t	2009-12-20 22:24:02 +00:00