Thanks for all your help,
Can I suggest something like this patch to help silly people like me? [patch for https://os.inf.tu-dresden.de/fiasco/build.html]
Index: fiasco/The Fiasco microkernel - Building and Using.html =================================================================== --- fiasco.orig/The Fiasco microkernel - Building and Using.html 2014-04-07 05:24:31.019690370 +1000 +++ fiasco/The Fiasco microkernel - Building and Using.html 2014-04-07 05:35:37.859319499 +1000 @@ -175,8 +175,9 @@ <p> To test your Fiasco.OC build we recommend to use <a href="http://qemu.org/">QEMU</a>. There are several - options for booting, one is to generate a bootable ISO image. For that, build - L4Re and launch in the build directory of your L4Re tree: + options for booting, one is to generate a bootable ISO image. For that, + <a href="http://os.inf.tu-dresden.de/L4Re/build">build L4Re</a> + and launch in the build directory of your L4Re tree: </p>
<div class="code"> @@ -250,4 +251,4 @@
-</body></html> \ No newline at end of file +</body></html>