summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-11-13 19:14:50 +0100
committerThomas Schwinge <tschwinge@gnu.org>2007-11-13 19:14:50 +0100
commit8473a9df851c25bd2dd0b23b9d9c698ab9481f81 (patch)
treec9b03175ebcfe39f828238ba0fab84ccd38a0f86 /microkernel
parenta379284f98f90fa91e9ce7e98eced98b88d8e780 (diff)
Move to a suitable place.
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn3
-rw-r--r--microkernel/mach/gnumach/building/example.mdwn52
2 files changed, 55 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 3d62c3f0..e7135005 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -1,3 +1,6 @@
+Additional to the following text, a further [[example]] has be posted.
+
+
# <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.
diff --git a/microkernel/mach/gnumach/building/example.mdwn b/microkernel/mach/gnumach/building/example.mdwn
new file mode 100644
index 00000000..bb22dbff
--- /dev/null
+++ b/microkernel/mach/gnumach/building/example.mdwn
@@ -0,0 +1,52 @@
+[[meta copyright="Copyright © 2007 Free Software Foundation, Inc."]]
+[[meta license="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
+is included in the section entitled
+[[GNU_Free_Documentation_License|/fdl]]."]]
+
+## Compiling GNU Mach microkernel
+
+Host development system is IBM T41 running Debian Sarge 3.1r0a GNU/Linux.
+
+* gcc version: 3.3.5
+* GNU sed version: 4.1.2
+* GNU make version: 3.8
+* mig version: 1.3-4
+
+Obtained gnumach-1-branch sources from cvs:
+
+ export CVS_RSH="ssh"
+ cvs -z3 -d:ext:anoncvs@ savannah.gnu.org:/cvsroot/hurd co -r gnumach-1-branch gnumach
+
+Obtained mig_1.3-4_i386.deb from
+http://www.hadrons.org/~guillem/debian/pool/main/mig/. Installed it using dpkg:
+
+ dpkg -i mig_1.3-4_i386.deb
+
+Entered into the gnumach sources and did the following for compilation:
+
+ mkdir build
+ cd build
+ ../configure --host=i386-unknown-gnu0.2 --build=i586-pc-linux-gnu \
+ --enable-kdb --enable-ide
+ make
+
+The kernel file is created in the build directory. Move it to /boot on the
+testing x86 system Hurd partition. Rename it as gnumach1 and compress it:
+
+ mv kernel gnumach1
+ gzip gnumach1
+
+Add a new entry on the testing machine /boot/grub/menu.lst to boot the new
+kernel.
+
+ title GNU Hurd K10 Compiled gnumach
+ kernel (hd0,3)/boot/gnumach1.gz root=device:hd2s4 -s
+ module (hd0,3)/hurd/ext2fs.static--multiboot-command-line=${kernel-command-line} \\
+ --host-priv-port=${host-port} --device-master-port=${device-port} \\
+ --exec-server-task=${exec-task} -T typed ${root} $(task-create)$(task-resume)
+ module (hd0,3)/lib/ld.so.1 /hurd/exec $(exec-task=task-create)
+
+Reboot into the new compiled mygnumach1.gz kernel!