LinuxBIOS and Vxworks

Felix Radensky felix at allot.com
Tue Dec 10 11:51:01 CET 2002


Hi, folks

We have a custom board based on 440LX chipset and
successfully use LinuxBIOS to boot linux kernel.

In the near future we'll have VxWorks on the same
hardware platform. It would be very nice to have LinuxBIOS
booting this OS as well. Do you think this is possible ? Any hints or
pointers would be very much appreciated.

TIA.

Felix.




More information about the coreboot mailing list