Real Operating Systems Projects

Monolithic kernels

FreeBSD

NetBSD

Linux


Microkernel Architectures

Flux (nee Mach 4)

Lites

VSTa