Actually there were extremely big problems with that bios.
They would show up in the OS4 porting eventually.
Incorrect initialization, no scsi support and several
other stuff. It was actually a DEAD BIOS with some
late changes to make it work on Terons.
BTW, softex did run on TeronPX boards with the
750CXe, a linux guy got an evaluation board "some"
time ago that used it. That was before PPCBoot was
ported.
And I never said that Eyetech lied:) I quoted a very
specific statement by a very specific person.