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.