none

1 files changed, 20 insertions, 11 deletions

diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn
index a5257f08..e67acf8b 100644
--- a/Mach/BuildingGNUMach.mdwn
+++ b/Mach/BuildingGNUMach.mdwn
@@ -1,24 +1,33 @@
 # <a name="Building_GNUMach_GNU_Mach_from_S"> </a> Building [[GNUMach]] from Source
 
-## <a name="_on_Debian_Using_the_Debian_Repo"> ... on Debian / Using the Debian Repository </a>
+## <a name="Getting_the_Source_Code"> Getting the Source Code </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.
+You can chose between getting the [sources from the developers's RCS](http://www.gnu.org/software/hurd/gnumach-download.html#cvs):
 
-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_.
+    $ cvs -z3 -d:pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co -r gnumach-1-branch gnumach
 
-First, make sure that this line is included in your _/etc/apt/sources.list_:
+(Most probably you want to get hold of the _GNU Mach 1 branch_ and not the trunk, which is also what we've done above.)
 
-    deb-src http://ftp.debian.org/debian unstable main
+... or (if you are working on a Debian system) the ones that are used for the [current Debian gnumach package](http://packages.debian.net/source/unstable/gnumach):
 
-Install additional needed packages:
+    $ apt-get source gnumach
 
-    # apt-get update
-    # apt-get build-dep gnumach
-    # apt-get install fakeroot
+Please see [[Distrib/DebianFAQ]] before using _apt-get source_.
 
-Download the source from the Debian repository (the source usually differs to the source in the official GNU repository, additional patches are applied for example):
+The unpacked source tree is around [TODO]MiB, and the build tree (with all drivers enabled) is around [TODO]MiB.
 
-    $ apt-get source gnumach
+## <a name="Building_GNUMach_GNU_Mach_"> </a> Building [[GNUMach]]
+
+### <a name="_on_Debian"> ... on Debian </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.
+
+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:
+
+    # apt-get install build-essential fakeroot
+    # apt-get build-dep gnumach
 
 Building [[GNUMach]]: