segher at kernel.crashing.org
Mon Oct 4 06:14:42 CEST 2010
>>> BTW, there is a bug in one of the tools (binutils, gcc, gdb, can't
>>> remember which): if you want the tool for powerpc64, the only
>>> supported target is powerpc64-linux, powerpc64-elf won't work.
It's not a bug: it actually is not supported. There is no ABI
defined for "generic" powerpc64-elf!
>> It's GCC that doesn't know powerpc64-elf or powerpc64-eabi.
>> Does anyone have any pointers how to set up
>> etc. without access to a working ppc Linux system? GCC 4.4.5
>> --target=powerpc64-linux build is failing during libdecnumber
>> for lack of string.h and stdio.h.
Configure GCC with --disable-decimal-float .
For building a "bare-metal" toolchain, without support for
any OS or libc, you can use my
> In theory, adding powerpc64-elf support to GCC should be a matter of
> adding a target Makefile fragment (t-elf64) to gcc/config/rs6000,
> maybe some other small changes.
And define an ABI, maybe not so little work ;-)
More information about the OpenBIOS