where to start.

[Varghese Mathew]

Hi, /

Pardon me if this is a repeated question./

I recently came across L4 and Fiasco and am interested in studying and 
developing the same.
(Particularly Fiasco as it's written in C++)

Could you kindly help me by providing me pointers on how to start off.
Specifically, I'm looking for documents which
- describe how to build Fiasco and get it running on my machine.
- how to build and get l4-linux or other custom operating systems 
running on top of the above.
- the source code organization.

Likewise, what is the current status of Fiasco?
The latest update I see on the site: http://os.inf.tu-dresden.de/fiasco/
is dated 26 September 2005.

Thanks in advance
/varghese

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20080403/6cc877eb/attachment.html>