[Developer] x86_64 and g++

[Ben Leslie]

On Fri Apr 27, 2007 at 00:09:12 -0400, Ernesto Bascon wrote:
>> We use and recommend the x86 toolchain found here:
>> http://www.ertos.nicta.com.au/downloads/i686-gcc-3.3.4-glibc-2.3.3-2006-06-02.tar.gz
>> which unpacks into /opt
>> Add the binaries to your path and then compile with:
>> $ ./tools/build.py machine=ia32_pc99 project=iguana wombat=True
>> toolprefix=i686-unknown-linux-gnu- simulate
>
>I will try using your toolchain.
>
>Have you tried compiling OKL4 on another host OS than Linux? (NetBSD
>or Solaris, maybe?)
>

We regularly compile on Mac OS X. There shouldn't be very many OS
dependancies.  (At least not with the core code, compiling
OKL4-enabled Linux is more difficult to do from an OS other than
Linux).

Benno