FreeRTOS

El núcleo de tiempo real más extendido en microcontroladores: lleva desde 2003 metido en electrodomésticos, sensores y aparatos industriales de medio mundo. Son unos pocos ficheros en C que añades a tu proyecto. Amazon lo mantiene desde 2017.