diff options
| author | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-02 23:04:13 -0400 |
|---|---|---|
| committer | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-02 23:04:13 -0400 |
| commit | 34b5513ffb0752e2bdb8387c18e06d026d073ffc (patch) | |
| tree | ed7643056d0639d38434e9ec8ee4cec19320eb4d | |
| parent | ab4696b26f174fda48d79930e8fb703ec2c19b25 (diff) | |
Noted diff in instructions for 32 and 64 bit
| -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: |