They are funding my work on linux/ppc 64-bit, loaning equipment and documentation. They _do_ want it. I can send you the programmers manual if you want it, just send me email. I got it off a web site. There's other 64-bit reference material for PPC around. As I wrote earlier, it's already booting quite a ways.