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:
http://os.inf.tu-dresden.de/fiasco/use.html
plus some slides showing what is happening during the startup of fiasco and an application.
http://os.inf.tu-dresden.de/Studium/KMB/Folien/02-Booting/02-Booting.pdf
The slides are part of our Lecture on the Construction of Microkernel-based Systems
http://os.inf.tu-dresden.de/Studium/KMB/
Regards
Marcus Völp