X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=bios%2Fseabios%2Fpalacios_config;h=150785b2eb7f0e178500e5a8a097e3c1784a9ac1;hp=992484a606b0988a421fd103c277c619e91b5433;hb=de96f467a8d9ca35ad81bd21df696933fdc7e728;hpb=3878df3f39c735f0cc565166ee5bcf0294ea1092

diff --git a/bios/seabios/palacios_config b/bios/seabios/palacios_config
index 992484a..150785b 100644
--- a/bios/seabios/palacios_config
+++ b/bios/seabios/palacios_config
@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
 # SeaBIOS Configuration
-# Wed Mar 14 18:51:09 2012
+# Thu Jun 18 16:39:59 2015
 #
 
 #
@@ -9,10 +9,11 @@
 #
 # CONFIG_COREBOOT is not set
 # CONFIG_XEN is not set
+CONFIG_PALACIOS=y
 # CONFIG_THREADS is not set
 CONFIG_RELOCATE_INIT=y
 CONFIG_BOOTMENU=y
-CONFIG_BOOTSPLASH=y
+# CONFIG_BOOTSPLASH is not set
 CONFIG_BOOTORDER=y
 
 #
@@ -23,19 +24,12 @@ CONFIG_ATA_DMA=y
 CONFIG_ATA_PIO32=y
 # CONFIG_AHCI is not set
 CONFIG_VIRTIO_BLK=y
-CONFIG_FLOPPY=y
+# CONFIG_FLOPPY is not set
 CONFIG_PS2PORT=y
-CONFIG_USB=y
-CONFIG_USB_UHCI=y
-CONFIG_USB_OHCI=y
-CONFIG_USB_EHCI=y
-CONFIG_USB_MSC=y
-CONFIG_USB_HUB=y
-CONFIG_USB_KEYBOARD=y
-CONFIG_USB_MOUSE=y
+# CONFIG_USB is not set
 CONFIG_SERIAL=y
 CONFIG_LPT=y
-CONFIG_USE_SMM=y
+# CONFIG_USE_SMM is not set
 # CONFIG_MTRR_INIT is not set
 
 #
@@ -45,8 +39,8 @@ CONFIG_DRIVES=y
 CONFIG_CDROM_BOOT=y
 CONFIG_CDROM_EMU=y
 CONFIG_PCIBIOS=y
-CONFIG_APMBIOS=y
-CONFIG_PNPBIOS=y
+# CONFIG_APMBIOS is not set
+# CONFIG_PNPBIOS is not set
 CONFIG_OPTIONROMS=y
 CONFIG_OPTIONROMS_DEPLOYED=y
 CONFIG_PMM=y
@@ -54,7 +48,7 @@ CONFIG_BOOT=y
 CONFIG_KEYBOARD=y
 CONFIG_KBD_CALL_INT15_4F=y
 CONFIG_MOUSE=y
-CONFIG_S3_RESUME=y
+# CONFIG_S3_RESUME is not set
 # CONFIG_DISABLE_A20 is not set
 
 #