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

embeddedmcumicrocontrollernuttxreal-timertos

Gregory Nutt 1a2191a8bf Merged in wail007/boards (pull request #18) ... Added a lower-half timer driver for stm32 which is compatible with the upper-half driver located at /drivers/timers/timer.c		2015-11-17 16:29:26 -06:00
configs	Added a lower-half timer driver for stm32 which is compatible with the upper-half driver located at /drivers/timers/timer.c	2015-11-17 17:09:10 -05:00