Interesting OS projects

Kernel architecture is one thing.. OS architecture is another..

The Plan 9 OS: http://www.cs.bell-labs.com/plan9dist/
The Inferno OS: http://c2.com/cgi/wiki?InfernoOs