RTOS for Secure, Safe and Real-Time Systems
Real time preemptive embedded multi-thread kernel
A UNIX-like kernel for the i386 architecture
Reductively Architected Breviloquently Built Information Environment
Embedded Operating System
Custom firmware and IDE for the VEX Cortex Microcontroller
Yet another Kernel - clone the git repo for newest version
The CK 64-Bit Kernel Operating System