Real-Time Event Frameworks based on active objects & state machines
Casper-fs is a Custom LKM generator to protect and hide files.
Simplest kernel for cooperative multithreading
Real time preemptive embedded multi-thread kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
A UNIX-like kernel for the i386 architecture