KeyKOS Nanokernel Architecture

http://www.cis.upenn.edu/~KeyKOS/NanoKernel/NanoKernel.html

Tymenet was amazing. I only spent a little time hacking it.
This is an amazing os design.