[Fwd: Re: L4 implementations]

[Sergio Ruocco]

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 at orcon.net.nz>
To: <ruocco at disco.unimib.it>
References: <f3op51$utv$1 at sea.gmane.org> <4669154F.3020907 at 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 at disco.unimib.it>
To: "Shams" <shams at 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 at 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