diff options
Diffstat (limited to 'tools/firmware/seabios-config')
| -rw-r--r-- | tools/firmware/seabios-config | 9 |
1 files changed, 8 insertions, 1 deletions
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 |