Adventures in Operating Systems

After reading this post on lispmeister that links to an article about the pains of C++ written by the creator of, among other things, EROS, the Extremely Reliable Operating System, I got curious about the state of the art in operating systems. While EROS appears to have been abandoned, I came across the L4 microkernel, which also seems pretty neat.