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 -- Sergio Ruocco, PhD Research Fellow sergio.ruocco@disco.unimib.it / gmail.com NOMADIS Lab. phone: +39-02-6448-7879 mobile, embedded real-time systems skype: 'sergioruocco' Università degli Studi di Milano-Bicocca, Italy