* Peter Karlsson petekarl@student.chalmers.se [050210 19:58]:
Try to load Linux(0x%x) at dev 0x%x LinuxBIOS LinuxBIOS Jump to Linux(0x%lx, 0x%lx) Jump to Linux(0x%lx, 0x%lx) Found file system used by Linux.(File System ID = 0x%x) LinuxBIOS Try to load Linux(0x%x) at dev 0x%x
[..]
From those strings it actually doesn't look like they are using
LinuxBIOS but rather chose the same name. But then again, changing a couple of strings is nothing too hard.
The way to go is rather to convince them to go with the real LinuxBIOS[tm] in future.
Stefan