summaryrefslogtreecommitdiff
path: root/Mach
diff options
context:
space:
mode:
Diffstat (limited to 'Mach')
-rw-r--r--Mach/BuildingGNUMach.mdwn26
1 files changed, 17 insertions, 9 deletions
diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn
index e67acf8b..fb092a0c 100644
--- a/Mach/BuildingGNUMach.mdwn
+++ b/Mach/BuildingGNUMach.mdwn
@@ -1,5 +1,7 @@
# <a name="Building_GNUMach_GNU_Mach_from_S"> </a> Building [[GNUMach]] from Source
+If you want to build the [[GNUMach]] kernel yourself instead of just using a pre-built binary, follow these instructions.
+
## <a name="Getting_the_Source_Code"> Getting the Source Code </a>
You can chose between getting the [sources from the developers's RCS](http://www.gnu.org/software/hurd/gnumach-download.html#cvs):
@@ -16,22 +18,24 @@ 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.
-## <a name="Building_GNUMach_GNU_Mach_"> </a> Building [[GNUMach]]
-
-### <a name="_on_Debian"> ... on Debian </a>
+## <a name="Preparing_for_the_Build"> Preparing for the Build </a>
-If you have already installed Debian GNU/Hurd and you want to compile the [[GNUMach]] kernel from the Debian package's source instead of installing the binary, follow these instructions.
+### <a name="_on_Debian_systems"> ... on Debian systems </a>
-You can also build [[GNUMach]] from Debian GNU/Linux in the same way, extract the kernel from the resulting _.deb_ file and then copy the compressed gnumach kernel onto your GNU/Hurd partition to _/boot/gnumach.gz_.
-
-Install additional needed packages:
+Building GNU Mach requires the _build-essential_ and _fakeroot_ packages, their dependencies and additional packages that are specified by the source gnumach package:
# apt-get install build-essential fakeroot
# apt-get build-dep gnumach
-Building [[GNUMach]]:
+### <a name="_on_non_Debian_systems"> ... on non-Debian systems </a>
+
+[TODO]
-Change into the directory with the downloaded gnumach source, e.g.
+## <a name="Building"> Building </a>
+
+### <a name="_deb_files"> ... _.deb_ files </a>
+
+Change into the directory with the downloaded / unpacked gnumach sources, e.g.
$ cd gnumach-20050801
@@ -39,6 +43,10 @@ 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.
# dpkg -i ../gnumach_20050801-4_hurd-i386.deb