Just wanted to say thanks to everyone, this all really helps! Especially the manual!
JD
On 2/28/07, Stitt, Michael (AGRE) Michael.Stitt@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@os.inf.tu-dresden.de [mailto:l4-hackers-bounces@os.inf.tu-dresden.de] On Behalf Of Jeff Douglas Sent: Tuesday, February 27, 2007 11:29 AM To: l4-hackers@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@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.