diff options
Diffstat (limited to 'microkernel/mach')
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 7 |
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] |