[OpenBIOS] starting

[Segher Boessenkool]

>>> 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
>> $PREFIX/powerpc-linux/include
>> etc. without access to a working ppc Linux system? GCC 4.4.5
>> --target=powerpc64-linux build is failing during libdecnumber
>> compilation
>> 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
http://git.infradead.org/users/segher/buildall.git .

> 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 ;-)


Segher