documentation booting fiasco

exception -> l4_ipc ?

getting older version of l4linux...

Emanuel Thomas

11 Jul 2005 11 Jul '05

12:12 p.m.

Hello,

is there any detailed documentation about the Fiasco boot process available?

Emanuel

Frank Mehnert

11 Jul 11 Jul

12:23 p.m.

Hi Emanuel,

On Monday 11 July 2005 14:12, Emanuel Thomas wrote:

is there any detailed documentation about the Fiasco boot process available?

Yes, there is. Please look at l4/kernel/fiasco/doc/design/bootup.txt. If this documentation is not detailed enough, feel free to ask.

Frank

-- ## Dept. of Computer Science, Dresden University of Technology, Germany ## ## http://os.inf.tu-dresden.de/~fm3 ##

Marcus Völp

12:29 p.m.

Emanuel Thomas wrote:

Hello,

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

Regards

Marcus Völp

-- Marcus Völp TU-Dresden Department of Computer Science Institute for System Architecture Tel: +49 (351) 463-38350 Fax: +49 (351) 463-38284

6977

Age (days ago)

6977

Last active (days ago)

2 comments

3 participants

tags (0)

participants (3)