diff --git a/pc-bios/README b/pc-bios/README
new file mode 100644
index 0000000000..508801dce6
--- /dev/null
+++ b/pc-bios/README
@@ -0,0 +1,4 @@
+- The PC BIOS comes from the Bochs project
+  (http://bochs.sourceforge.net/).
+- The VGA BIOS comes from the LGPL VGA bios project
+  (http://www.nongnu.org/vgabios/).
diff --git a/pc-bios/bios.bin b/pc-bios/bios.bin
new file mode 100644
index 0000000000..ae2240b2a4
Binary files /dev/null and b/pc-bios/bios.bin differ
diff --git a/pc-bios/vgabios.bin b/pc-bios/vgabios.bin
new file mode 100644
index 0000000000..b4937a8410
Binary files /dev/null and b/pc-bios/vgabios.bin differ