FreeRTOS

A market-leading real-time operating system (RTOS) for microcontrollers and small microprocessors, offering a lightweight, deterministic kernel for deeply embedded applications.