1*39b4da28Sbellard- The PC BIOS comes from the Bochs project 2*39b4da28Sbellard (http://bochs.sourceforge.net/). 3*39b4da28Sbellard- The VGA BIOS comes from the LGPL VGA bios project 4*39b4da28Sbellard (http://www.nongnu.org/vgabios/). 5