On Fri, 2005-04-15 at 11:15 -0500, Patrick Finnegan wrote: > Can anyone tell me where to get a toolchain that can build a PPC64 (NOT > PPC32) kernel? I've now got a few PPC64 machines running Debian that > I'd like to run an actual 64-bit kernel on... You need to build a biarch toolchain (that can build both ppc32 and ppc64). See instructions on www.penguinppc64.org. I recommend janis biarch scripts rather than the crosstools stuff. Ben.