diff options
Diffstat (limited to 'microkernel/mach')
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 8 |
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: |