Hi!
I just wanted to let you know that I wrote a small paper about the L4 Microkernel for a seminar in my school.
It's a summary of many of the information which is available on the various websites.
I doubt that it has much usefulness since the reference manual and other sources are more detailed and precise. But anyways some might be interested.
http://www.rtfs.org/ext/l4_microkernel.pdf
Thanks a lot, Fabian
P.s. even I already gave my talk I still would be interested in any wrong claims given in the paper.