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.