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. For those that are attending USENIX next week, I'll have the machine at the BOF so you can see it really works! Cheers, Greg