Learning and Hacking L4 - My Bookshelf

Stitt, Michael (AGRE) Michael.Stitt at smiths-aerospace.com
Tue Feb 27 17:53:01 CET 2007

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


++++L4 - My Bookshelves 
L4 eXperimental Kernel Reference Manual - (Karlsruhe) - Version X.2, Revision 5 - June 4 2004 

L4 User Manual - NICTA L4-embedded API - Ihor Kuz - Document Version 1.11 of October 5, 2005 

L4Ka::Pistachio PowerPC Implementation Revision: 1.9 - Joshua LeVasseur - Karlsruhe 

NICTA L4-embedded Kernel Reference Manual Version NICTA N1, Revision 5 

On Micro-Kernel Contruction - Jochen Liedke - Karlsruhe - 15th ACM Symposium on Operating System Principles (SOSP) December 3-6, Copper Mountain Resort, Colorado 

Real-Time Programming and L4 Microkernels - Sergio Ruocco - NICTA - UNSW - 2007 

Towards Real Microkernels - Jochen Liedke - Karlsruhe - September 1996/Vol. 39, No. 9 Communications of the ACM 

++++L4 - Other Bookshelves 
Dresden L4 Developer's Bibliography

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 

Teaching material from University of Karlsruhe 

Teaching material from University of New South Wales 

-----Original Message-----
From: l4-hackers-bounces at os.inf.tu-dresden.de [mailto:l4-hackers-bounces at os.inf.tu-dresden.de] On Behalf Of Jeff Douglas
Sent: Tuesday, February 27, 2007 11:29 AM
To: l4-hackers at os.inf.tu-dresden.de
Subject: Learning and Hacking L4

Hi Coly,

I've read through the X.2 spec and some of the other papers that looked like they might be useful. Unfortunately, they are not really helpful to me. Or, perhaps it is better to say that they don't seem to paint a full picture.

What I think would really be helpful is the L4 System Programmer's Manual. I've waited for it to materialize for years now, but it still hasn't appeared. Do you have any particular papers to suggest? Does you know if/when the System Programmer's Manual will be released?


>hi, do you read some papers for L4 ?  Maybe you can start from reading 
>these papers.
>在 2007-02-27二的 22:36 +0900,Jeff Douglas写道:
> Greetings,
> I have had some interest in os development and theory for quite some 
> time now, and a particular interest in L4. I'm a newbie, but I've read 
> through a lot, and have done some os programming for fun in the past.
> My question is: what is your advice on learning and hacking L4?
> I've read through quite a bit of the documentation, but reading 
> through specs does not seem like a good way to really understand; it 
> seems like too much to digest at once. And of course, the purpose of a 
> specification is to specify, not explain. I've browsed through source 
> code, but that is even worse.
> I'm sorry if my question is overly broad, but I'd appreciate any 
> advice that anyone can spare.
> Regards,
> JD
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

l4-hackers mailing list
l4-hackers at os.inf.tu-dresden.de

CAUTION: This message was sent via the Public Internet and its authenticity cannot be guaranteed. 


The information contained in, or attached to, this e-mail, may contain confidential information and is intended solely for the use of the individual or entity to whom they are addressed and may be subject to legal privilege.  If you have received this e-mail in error you should notify the sender immediately by reply e-mail, delete the message from your system and notify your system manager.  Please do not copy it for any purpose, or disclose its contents to any other person.  The views or opinions presented in this e-mail are solely those of the author and do not necessarily represent those of the company.  The recipient should check this e-mail and any attachments for the presence of viruses.  The company accepts no liability for any damage caused, directly or indirectly, by any virus transmitted in this email.

More information about the l4-hackers mailing list