Real-Time Event Frameworks based on active objects & state machines
Get latest Edition here: http://www.openqrm-enterprise.com.
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
Portable Penetration Testing Operating System
AliOS Things latest version
Free real-time operating system designed for microcontrollers
W-Bus communication library
CAN bus device driver
High level interface to the Linux Kernel's seccomp filter