LK embedded kernel
Apache NuttX is a mature, real-time embedded operating system (RTOS)
Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
Companion repository to the "Modern Embedded Systems Programming" video course.
QP/C Real-Time Event Framework/RTOS implements event-driven Active Object (Actor) model combined with Hierarchical State Machines. Specifically designed for embedded systems (e.g., ARM Cortex-M MCUs).