I have a badly done, home-movie quality movie of OLPC booting in linuxbios, to the beautiful icons, then showing it booting to a linux on the usb key. It's 12 MB. If somebody wants this on the wiki, let me know. ron