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