AW: Learning and Hacking L4

Christian, Martin, OPEE45 Martin.Christian at eads.com
Tue Feb 27 17:46:22 CET 2007


Hi,
there is a draft of a L4 User Manual for the X2 API implemented by Karlsruhes and NICTAS L4 kernel. And there are lessons in Karlsruhe and New South Wales about L4 - based on the X2 API again. I suppose there is also a lesson in Dresden which uses Fiasco and is based on the N2 API.

I the API things are confusing to you, forget them for now. All you need to know is, if you look at the courses in KA or NSW, the functions you call for Fiasco might differ a bit.

These are the links:
-> 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/)

And I've attached the User Manual from NICTA.

Cheers,

Martin.

-----Ursprüngliche Nachricht-----
Von: l4-hackers-bounces at os.inf.tu-dresden.de [mailto:l4-hackers-bounces at os.inf.tu-dresden.de] Im Auftrag von Jeff Douglas
Gesendet: Dienstag, 27. Februar 2007 17:29
An: l4-hackers at os.inf.tu-dresden.de
Betreff: 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: kuz04l4x2usermanual.pdf
Type: application/octet-stream
Size: 291585 bytes
Desc: kuz04l4x2usermanual.pdf
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070227/351fbe6b/attachment.obj>


More information about the l4-hackers mailing list