summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn7
1 files changed, 5 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 015046e6..fcef1a24 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -54,7 +54,10 @@ You can now reboot your computer and enjoy the new kernel.
Building GNU Mach requires a C compiler, a static 32 bit standard C library and
your favourite flavor of awk (gawk) and GNU make.
-### Installing only the Header Files
+### Installing the Header Files First
+
+In order to build GNU Mach, you must build and install MIG, which requires that
+you install the GNU Mach header files:
First, you have to create the configuartion files:
@@ -115,6 +118,6 @@ Optionally run the (tiny) test suite:
You can then install and use `gnumach.gz`.
-[TODO.]
+[TODO]