Here is a couple of links you might find interesting:
the Fiasco µ-kernel
L4 microkernel family
Fiasco is an implmentation of the L4 architecture. It's fairly small, with lot's of interesting features.
Get hold of a couple of Andrew S. Tanenbaums' books
] - compared to most authors on this topic, his books are actually worth reading :)