Stitt, Michael (AGRE) wrote on 27.02.2007 17:53 this:
Hi Jeff, Being in a similar boat, I don't have a good answer for you. But here's a copy (in semi-alphabetical order) of my L4 bookshelf and links to the other bookshelves I know about.
Maybe you've found these already.
-Hope this helps
-Mike
++++L4 - My Bookshelves L4 eXperimental Kernel Reference Manual - (Karlsruhe) - Version X.2, Revision 5 - June 4 2004 http://l4ka.org/projects/pistachio/l4-x2-r5.pdf
L4 User Manual - NICTA L4-embedded API - Ihor Kuz - Document Version 1.11 of October 5, 2005 http://www.ertos.nicta.com.au/software/kenge/pistachio/latest/userman.pdf
L4 User Manual - API Version X.2 - Ihor Kuz - Document Version 1.6 http://l4hq.org/docs/manuals/l4uman-x2.pdf
L4Ka::Pistachio PowerPC Implementation Revision: 1.9 - Joshua LeVasseur - Karlsruhe http://l4ka.org/projects/pistachio/powerpc/ppc.pdf
NICTA L4-embedded Kernel Reference Manual Version NICTA N1, Revision 5 http://www.ertos.nicta.com.au/software/kenge/pistachio/latest/refman.pdf
On Micro-Kernel Contruction - Jochen Liedke - Karlsruhe - 15th ACM Symposium on Operating System Principles (SOSP) December 3-6, Copper Mountain Resort, Colorado http://www.l4ka.org/publications/1995/ukernel-construction.pdf
Real-Time Programming and L4 Microkernels - Sergio Ruocco - NICTA - UNSW - 2007 http://www.ertos.nicta.com.au/publications/papers/Ruocco_06.abstract.pml
Towards Real Microkernels - Jochen Liedke - Karlsruhe - September 1996/Vol. 39, No. 9 Communications of the ACM http://i30www.ira.uka.de/research/documents/l4ka/towards-ukernels.pdf
++++L4 - Other Bookshelves Dresden L4 Developer's Bibliography http://os.inf.tu-dresden.de/L4/bib.html
Karlsruhe L4Ka Publications - OR - Karlsruhe System Architecture Group L4ka Publications http://www.l4ka.org/publications/ - OR - http://i30www.ira.uka.de/research/publications/l4ka/index.php?lid=en
NICTA ERTOS Publications http://www.ertos.nicta.com.au/publications/
Teaching material from University of Karlsruhe http://i30www.ira.uka.de/teaching/courses/lecture.php?courseid=130
Teaching material from University of New South Wales http://www.cse.unsw.edu.au/~cs9242/06/lectures/
Teaching material from Technische Universitaet Dresden http://www.inf.tu-dresden.de/index.php?node_id=1317 http://www.inf.tu-dresden.de/index.php?node_id=1314
HTH, Ron.