Hi Greg,
Just thought you might like to know that I booted a linux kernel using linuxbios on a PPC yesterday. There are still a few issues to sort out, but it's looking very promising.
Sounds great. I have a TX3927(MIPS) with me and would like to see if it is possible to port LinuxBIOS on it. Are all the PPC code in the cvs?
-Andrew