1- The PC BIOS comes from the Bochs project 2 (http://bochs.sourceforge.net/). A patch from bios.diff was applied. 3 4- The VGA BIOS comes from the LGPL VGA bios project 5 (http://www.nongnu.org/vgabios/). 6 7- The Cirrus VGA BIOS comes from the LGPL VGA bios project with 8 patches from http://ebisa.hp.infoseek.co.jp/bochs/index.shtml. 9