Market leading real time kernel for 40+ microcontroller architectures
Low power application-configurable Operating System
Tiny Kernel is a work in progress Operating System kernel.
Free real-time operating system designed for microcontrollers
Real-Time Embedded Operating System
Real time preemptive embedded multi-thread kernel
Tiny operating system for running HCFSM-based systems