Update BIOS, seabios 1.7.5.2

bios/seabios-config

@@ -10,24 +10,25 @@
 CONFIG_QEMU=y
 # CONFIG_CSM is not set
 CONFIG_QEMU_HARDWARE=y
-CONFIG_XEN=y
+# CONFIG_XEN is not set
 CONFIG_THREADS=y
-# CONFIG_THREAD_OPTIONROMS is not set
 CONFIG_RELOCATE_INIT=y
 # CONFIG_BOOTMENU is not set
-# CONFIG_BOOTORDER is not set
+CONFIG_BOOTORDER=y
 CONFIG_ENTRY_EXTRASTACK=y
 CONFIG_MALLOC_UPPERMEMORY=y
+CONFIG_ROM_SIZE=0
 
 #
 # Hardware support
 #
 CONFIG_ATA=y
-# CONFIG_ATA_DMA is not set
-# CONFIG_ATA_PIO32 is not set
+CONFIG_ATA_DMA=y
+CONFIG_ATA_PIO32=y
 CONFIG_AHCI=y
 CONFIG_VIRTIO_BLK=y
 CONFIG_VIRTIO_SCSI=y
+CONFIG_PVSCSI=y
 CONFIG_ESP_SCSI=y
 CONFIG_LSI_SCSI=y
 CONFIG_MEGASAS=y
@@ -45,7 +46,7 @@ CONFIG_USB_KEYBOARD=y
 CONFIG_USB_MOUSE=y
 CONFIG_SERIAL=y
 CONFIG_LPT=y
-CONFIG_USE_SMM=y
+# CONFIG_USE_SMM is not set
 CONFIG_MTRR_INIT=y
 # CONFIG_PMTIMER is not set
 
@@ -73,11 +74,12 @@ CONFIG_VGAHOOKS=y
 #
 # BIOS Tables
 #
-# CONFIG_PIRTABLE is not set
-# CONFIG_MPTABLE is not set
-# CONFIG_SMBIOS is not set
+CONFIG_PIRTABLE=y
+CONFIG_MPTABLE=y
+CONFIG_SMBIOS=y
 CONFIG_ACPI=y
 CONFIG_ACPI_DSDT=y
+CONFIG_FW_ROMFILE_LOAD=y
 
 #
 # VGA ROM
@@ -89,6 +91,9 @@ CONFIG_VGA_BOCHS=y
 # CONFIG_VGA_GEODEGX2 is not set
 # CONFIG_VGA_GEODELX is not set
 CONFIG_BUILD_VGABIOS=y
+CONFIG_VGA_STDVGA_PORTS=y
+CONFIG_VGA_ALLOCATE_EXTRA_STACK=y
+CONFIG_VGA_EXTRA_STACK_SIZE=512
 CONFIG_VGA_VBE=y
 CONFIG_VGA_PCI=y
 # CONFIG_OVERRIDE_PCI_ID is not set
@@ -98,6 +103,6 @@ CONFIG_VGA_DID=0x1111
 #
 # Debugging
 #
-CONFIG_DEBUG_LEVEL=13
+CONFIG_DEBUG_LEVEL=8
 # CONFIG_DEBUG_SERIAL is not set
 CONFIG_DEBUG_IO=y

src/browser/main.js

@@ -530,7 +530,8 @@
 
         var BIOSPATH = "bios/";
         var biosfile = DEBUG ? "seabios-debug.bin" : "seabios.bin";
-        var vgabiosfile = DEBUG ? "vgabios-0.7a.debug.bin" : "bochs-vgabios-0.7a.bin";
+        var vgabiosfile = DEBUG ? "vgabios-debug.bin" : "vgabios.bin";
+
 
         var bios;
         var vga_bios;