Learning and Hacking L4 - My Bookshelf

[Jeff Douglas]

Just wanted to say thanks to everyone, this all really helps!
Especially the manual!

JD

On 2/28/07, Stitt, Michael (AGRE) <Michael.Stitt at smiths-aerospace.com> wrote:
>
> 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
>
> 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/
>
>
> -----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?
>
> Regards,
> JD
>
> >Jeff:
> >hi, do you read some papers for L4 ?  Maybe you can start from reading
> >these papers.
> >
> >Coly
> >
> >在 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
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
> ______________________________________________________________________
> 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.
> ************************************************
>