Linux Distribution for Bug Hunters
Lubuntu 10.10 fork
32 bit VIRGO Linux Kernel
W-Bus communication library
gobang operating system
A Linux Proaudio FrameWork with improved Wine/kernel(rt) support
A custom fork of the Linux kernel.
A FreeRTOS fork implementing EDF scheduling
Tiny operating system for running HCFSM-based systems