Does anybody know what sort of BIOS would the OLPC use? Some proprietary BIOS or LinuxBIOS or something open-source. I personally think LinuxBIOS is the best choice: It cant boot fast and is quite lightweight. -- Thanks. Yours truly, Sunny Sachanandani