GeckoLinux is a set of live Linux spins built from openSUSE
Thread Scheduler with custom asynchronous messaging in VC++
RTOS for Secure, Safe and Real-Time Systems
Real time preemptive embedded multi-thread kernel
Small real time operating system for AVR and ARM microcontrollers
A Simple 'IDE'A for Linux Kernel Developers