Real-Time Event Frameworks based on active objects & state machines
Simplest kernel for cooperative multithreading
Real time preemptive embedded multi-thread kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
Embedded Real-Time Operating System (RTOS)