Forwarding my answer below as requested.
Sergio
-------- Original Message -------- Subject: Re: L4 implementations Date: Fri, 8 Jun 2007 23:15:41 +1200 From: Shams shams@orcon.net.nz To: ruocco@disco.unimib.it References: f3op51$utv$1@sea.gmane.org 4669154F.3020907@disco.unimib.it
Hi Sergio
Thanks for the info
Can you also please post this to the newsgroup so that other newbies can benefit from it too.
Thanks Shams
----- Original Message ----- From: "Sergio Ruocco" ruocco@disco.unimib.it To: "Shams" shams@orcon.net.nz Sent: Friday, June 08, 2007 8:37 PM Subject: Re: L4 implementations
Shams wrote:
Just a few questions which I am having a hard time understanding:
For answers to these and other questions, and further information on the L4 microkernel API, its different implementations (Pistachio, Fiasco, OKL4 etc.), and the various OSes running on them (Iguana, DROPS etc.), see also the following web sites:
http://en.wikipedia.org/wiki/L4_microkernel_family
http://l4hq.org/kernels/ http://l4hq.org/docs/ http://l4hq.org/projects/os/
Pistachio http://l4ka.org/
Fiasco http://os.inf.tu-dresden.de/fiasco/
OKL4 http://www.ok-labs.com/products/ http://portal.ok-labs.com/
and this paper of mine:
http://ertos.nicta.com.au/publications/papers/Ruocco_06.abstract.pml http://citeseer.ist.psu.edu/757180.html
Best Regards,
Sergio