summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--microkernel/mach/gnumach/building.mdwn8
1 files changed, 6 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 6d030d3e..07dc3341 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -79,7 +79,7 @@ GNU Mach and its headers should be built in separate directories:
$ cd gnumach-build-h
Find the path to your GNU Mach sources (`../gnumach`) and configure
-it:
+it (the --host flag is needed for 64 bit systems):
$ ../gnumach/configure --prefix= --host=i686-unknown-linux-gnu
@@ -98,8 +98,12 @@ GNU Mach should be built in a separate directory:
Find the path to your GNU Mach sources (`../gnumach`) and configure
it:
+ $ ../gnumach/configure
+
+If you are building on a 64 bit system, do the following instead:
+
$ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386'
- $ ../gnumach/configure --host=i686-unknown-linux-gnu
+ $ ../gnumach/configure --host=i686-unknown-linux-gnu
Build the kernel image: