RE: LinuxBIOS and Vxworks