summaryrefslogtreecommitdiff
path: root/Mach/BuildingGNUMach.mdwn
diff options
context:
space:
mode:
authorTWikiGuest <web-hurd@gnu.org>2006-01-30 13:00:00 +0000
committerTWikiGuest <web-hurd@gnu.org>2006-01-30 13:00:00 +0000
commitd11a584f21baf2e20fdaed2a753e840b2bf3ea0e (patch)
treec221d74ff0a18b81a78985210acab7687b298b07 /Mach/BuildingGNUMach.mdwn
parent11966d6785bf07f58c7246c4f70771ad6d1af784 (diff)
none
Diffstat (limited to 'Mach/BuildingGNUMach.mdwn')
-rw-r--r--Mach/BuildingGNUMach.mdwn36
1 files changed, 36 insertions, 0 deletions
diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn
new file mode 100644
index 00000000..116b50be
--- /dev/null
+++ b/Mach/BuildingGNUMach.mdwn
@@ -0,0 +1,36 @@
+-- [[Main/ThomasSchlesinger]] - 30 Jan 2006
+
+# <a name="Building_GNUMach_from_source_fro"> </a> Building GNUMach from source from the Debian repository
+
+If you've already installed Debian/Hurd an you want to compile the GNUMach kernel from source (from the Debian repository) instead of installing the binary, follow this instructions.
+
+You can also build GNUMach from Debian GNU/Linux, extract the kernel from the resulting deb-file and then copy the compressed gnumach-kernel onto your GNU/Hurd partition to /boot/gnumach.gz.
+
+First, make sure, this line is included in your /etc/apt/sources.list:
+
+ deb-src http://ftp.debian.org/debian unstable main
+
+Install additional needed packages
+
+ #apt-get update
+ #apt-get build-dep gnumach
+
+Load the sources from the Debian repository (the source usually differs to the source in the official FSF repository)
+
+ #apt-get source gnumach
+
+Building GNUmach
+
+Change into the directory with the downloaded gnumach source, e. g.
+
+ $cd ~/gnumach-20050801
+
+Start the build process with
+
+ $dpkg-buildpackage -us -uc -b -rfakeroot
+
+GNUMach is built then. To use the new kernel, you must install the resulting deb-package, with can be found one directory above the build directory and has a similar name like the built package (gnumach\_\*hurd-i386.deb), e.g.:
+
+ dpkg -i ../gnumach_20050801-4_hurd-i386.deb
+
+No you can reboot your computer and enjoy the new kernel.