#
# Automatically generated make config: don't edit
# SeaBIOS Configuration
-# Wed Mar 14 18:51:09 2012
+# Thu Jun 18 16:39:59 2015
#
#
#
# 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
#
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
#
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
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
#