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