A first version of a document entitled "Inside L4/MIPS" containing annotated L4 source code is available from http://www.cse.unsw.edu.au/~disy/L4/index.html. It is still incomplete, so far covering kernel data structures, exception handling and IPC.
Any feedback/suggestions/corrections/additions are highly appreciated.
Gernot -- Gernot Heiser ,--_|\ School of Computer Sci. & Engin. Phone: +61 2 9385 5156 / \ The University of NSW Fax: +61 2 9385 5533 _,--._* Sydney, Australia 2052 E-mail: gernot@unsw.edu.au v http://www.cse.unsw.edu.au/~gernot PGP fingerprint: 94 1E B8 28 25 FD 7C 94 20 10 92 E5 0B FF 39 8F