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... Thanks, Pat -- Purdue University Research Computing -- http://www.itap.purdue.edu/rcac