Real Operating Systems Projects
Monolithic kernels
FreeBSD
NetBSD
Linux
Microkernel Architectures
Flux (nee Mach 4)
Lites
VSTa