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

embeddedmcumicrocontrollernuttxreal-timertos

Gregory Nutt b5ca03b4cd Merged in wail007/arch (pull request #36) ... Change prescaler dynamically to support bigger periods on 16 bits timers		2015-11-30 17:58:13 -06:00
arch	Change prescaler dynamically to support bigger periods on 16 bits timers	2015-11-30 18:52:05 -05:00