Roadrunner

One-user, general purpose OS built on a protected memory, POSIX threads RT kernel; full kernel, device drivers, file systems, and network protocols runs in about 200 K RAM; now runs on x86 CPUs but designed for easy portability. [Open source, GPL]