diff options
-rw-r--r-- | Config.mk | 6 | ||||
-rw-r--r-- | tools/firmware/seabios-config | 9 |
2 files changed, 11 insertions, 4 deletions
@@ -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 3a36fd109f..a49716215f 100644 --- 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 |