Cluster wide IPC providing datagram, connection, and bus messaging
Real-Time Event Frameworks based on active objects & state machines
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Mulithreading Arduno library
replicated-kernel Linux-based OS