Real-Time Event Frameworks based on active objects & state machines
Low power application-configurable Operating System
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
What you see, is what you get! GNU/Linux Arch Based Distro
Kernel based checkpointing for Linux