EROS - The Extremely Reliable Operating System
Background, documentation, notes, and downloads for the small, secure, real-time operating system that provides orthogonal persistence.
www.eros-os.org
SPIN
An OS that blurs the distinction between kernels and applications.
www-spin.cs.washington.edu
Tornado
Operating system for large-scale shared-memory multiprocessors, such as NUMAchine.
www.eecg.toronto.edu/parallel/tornado.html
TUNES Project
Project that addresses the way computing systems are thought about, and strives to design and implement a new computing system.
tunes.org
WebOS
Designed for scalable Internet services.
now.cs.berkeley.edu/WebOS/index.html