Learning and Hacking L4 - My Bookshelf

[Ronald Aigner]

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.
-- 
Mit freundlichen Gruessen / with regards
ra3 @ inf.tu-dresden.de
http://os.inf.tu-dresden.de/~ra3/