Market leading real time kernel for 40+ microcontroller architectures
Tiny Kernel is a work in progress Operating System kernel.
Free real-time operating system designed for microcontrollers
Free cooperative operating system designed for microcontrollers
Real-Time Embedded Operating System
Tiny operating system for running HCFSM-based systems