tools: update to SeaBIOS 1.7.3.1

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/Config.mk b/Config.mk
index a26c7c0f2b17a4d63c8c70ae44a77c0c266cbbcd..1879454c1ab2a791ea51b164a7b0755226535456 100644 (file)
--- a/Config.mk
+++ b/Config.mk
@@ -234,9 +234,9 @@ SEABIOS_UPSTREAM_URL ?= git://xenbits.xen.org/seabios.git
 endif
 OVMF_UPSTREAM_REVISION ?= b0855f925c6e2e0b21fbb03fab4b5fb5b6876871
 QEMU_UPSTREAM_REVISION ?= 1c514a7734b7f98625a0d18d5e8ee7581f26e50c
-SEABIOS_UPSTREAM_TAG ?= 3a28511b46f0c2af5fae1b6ed2b0c19d7913cee3
-# Wed Jun 26 16:30:45 2013 +0100
-# xen: Don't perform SMP setup.
+SEABIOS_UPSTREAM_TAG ?= rel-1.7.3.1
+# Fri Aug 2 14:12:09 2013 -0400
+# Fix bug in CBFS file walking with compressed files.
 
 ETHERBOOT_NICS ?= rtl8139 8086100e
 

diff --git a/tools/firmware/seabios-config b/tools/firmware/seabios-config
index 3a36fd109f1e203614621d98c944964fb4c0d981..a49716215f0e1eb5bf8d3f67f6433fa10f65b8b5 100644 (file)
--- a/tools/firmware/seabios-config
+++ b/tools/firmware/seabios-config
@@ -1,13 +1,16 @@
 #
 # Automatically generated make config: don't edit
 # SeaBIOS Configuration
-# Thu Jan  3 17:25:45 2013
+# Mon Sep 23 12:59:01 2013
 #
 
 #
 # General Features
 #
 # CONFIG_COREBOOT is not set
+CONFIG_QEMU=y
+# CONFIG_CSM is not set
+CONFIG_QEMU_HARDWARE=y
 CONFIG_XEN=y
 CONFIG_THREADS=y
 # CONFIG_THREAD_OPTIONROMS is not set
@@ -15,6 +18,7 @@ CONFIG_RELOCATE_INIT=y
 CONFIG_BOOTMENU=y
 # CONFIG_BOOTSPLASH is not set
 CONFIG_BOOTORDER=y
+CONFIG_ENTRY_EXTRASTACK=y
 
 #
 # Hardware support
@@ -27,6 +31,7 @@ CONFIG_VIRTIO_BLK=y
 CONFIG_VIRTIO_SCSI=y
 CONFIG_ESP_SCSI=y
 CONFIG_LSI_SCSI=y
+CONFIG_MEGASAS=y
 CONFIG_FLOPPY=y
 CONFIG_PS2PORT=y
 CONFIG_USB=y
@@ -42,6 +47,7 @@ CONFIG_SERIAL=y
 CONFIG_LPT=y
 CONFIG_USE_SMM=y
 CONFIG_MTRR_INIT=y
+CONFIG_PMTIMER=y
 
 #
 # BIOS interfaces
@@ -70,6 +76,7 @@ CONFIG_PIRTABLE=y
 CONFIG_MPTABLE=y
 CONFIG_SMBIOS=y
 CONFIG_ACPI=y
+CONFIG_ACPI_DSDT=y
 
 #
 # VGA ROM