documentation booting fiasco

Marcus Völp voelp at
Mon Jul 11 14:29:32 CEST 2005

Emanuel Thomas wrote:

>is there any detailed documentation about the Fiasco boot process available?
There is a webpage describing how to setup grub to boot fiasco, etc. at:

plus some slides showing what is happening during the startup of fiasco 
and an application.

The slides are part of our Lecture on the Construction of 
Microkernel-based Systems


    Marcus Völp

Marcus Völp

Department of Computer Science
Institute for System Architecture

Tel: +49 (351) 463-38350
Fax: +49 (351) 463-38284

More information about the l4-hackers mailing list