newbie - trying to build

[Jack Andrews]

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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140407/1eb6b512/attachment.htm>