Zephyr
Real Time Operating System (RTOS)
RT-Thread
Embedded Systems, Real Time Operating System (RTOS)
ChibiOS
FreeRTOS