paper about l4

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.