For another look at OS design and implementation, try Project Oberon. Beautifully clean design, if somewhat dated by hardware advances since the 80s.

http://www-old.oberon.ethz.ch/WirthPubl/ProjectOberon.pdf