none

1 files changed, 38 insertions, 6 deletions

diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn
index fb092a0c..1b3298f3 100644
--- a/Mach/BuildingGNUMach.mdwn
+++ b/Mach/BuildingGNUMach.mdwn
@@ -16,7 +16,7 @@ You can chose between getting the [sources from the developers's RCS](http://www
 
 Please see [[Distrib/DebianFAQ]] before using _apt-get source_.
 
-The unpacked source tree is around [TODO]MiB, and the build tree (with all drivers enabled) is around [TODO]MiB.
+The unpacked source tree is around 20 MiB, and the build tree (with all drivers enabled) is around 50 MiB.
 
 ## <a name="Preparing_for_the_Build"> Preparing for the Build </a>
 
@@ -29,9 +29,11 @@ Building GNU Mach requires the _build-essential_ and _fakeroot_ packages, their
 
 ### <a name="_on_non_Debian_systems"> ... on non-Debian systems </a>
 
-[TODO]
+Apart from the case that you only want to install GNU Mach's header files (see below), building GNU Mach requires you to have the Mach Interface Generator installed. See [[Mig/BuildingMIG]] about how to do that, then come back here.
+
+Additionally, building GNU Mach requires a C compiler, a standard C library (with corresponding header files) and your favourite flavor of awk (gawk) and make.
 
-## <a name="Building"> Building </a>
+## <a name="Building_and_Installing"> Building and Installing </a>
 
 ### <a name="_deb_files"> ... _.deb_ files </a>
 
@@ -43,8 +45,6 @@ Start the build process with
 
     $ dpkg-buildpackage -us -uc -b -rfakeroot
 
-### <a name="_TODO_"> [TODO] </a>
-
 [TODO]
 
 [[GNUMach]] is now building. To use the new kernel, you must install the resulting _.deb_ package which is located one directory above the build directory and has a similar name as the build directory, e.g.
@@ -53,4 +53,36 @@ Start the build process with
 
 You can now reboot your computer and enjoy the new kernel.
 
--- [[Main/ThomasSchlesinger]] - 30 Jan 2006
+### <a name="_TODO_"> [TODO] </a>
+
+GNU Mach has to be built in a separate directory:
+
+    $ mkdir gnumach-build
+    $ cd gnumach-build
+
+Find the path to your GNU Mach sources (_[...]/gnumach-1-branch_) and configure it:
+
+    $ [...]/gnumach-1-branch/configure [TODO]
+
+Build the kernel image:
+
+    $ make kernel.gz
+
+[TODO]
+
+You can then install and use _kernel.gz_.
+
+### <a name="Installing_only_the_Header_Files"> Installing only the Header Files </a>
+
+GNU Mach has to be built in a separate directory:
+
+    $ mkdir gnumach-build
+    $ cd gnumach-build
+
+Find the path to your GNU Mach sources (_[...]/gnumach-1-branch_) and configure it:
+
+    $ [...]/gnumach-1-branch/configure
+
+Install the header files into e.g. _~/gnu/include/_:
+
+    $ make no_deps=t prefix=~/gnu install-headers