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