Real-Time Event Frameworks based on active objects & state machines
Multitasking ARMv7-R and ARMv7-A (Cortex-R, Cortex-A)
An analysis tool showing the structure of a C program
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
Real time preemptive embedded multi-thread kernel
A Java VM for ARDUINO and other micros using the leJOS runtime.
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture
AquilaOS: UNIX-like Operating System
An operating system for tenputer
AVR-related utility code
Tiny operating system for running HCFSM-based systems