# # Automatically generated make config: don't edit # SeaBIOS Configuration # Tue Dec 20 23:49:24 2011 # # # General Features # CONFIG_COREBOOT=y CONFIG_THREADS=y # CONFIG_THREAD_OPTIONROMS is not set CONFIG_RELOCATE_INIT=y CONFIG_BOOTMENU=y CONFIG_BOOTSPLASH=y CONFIG_BOOTORDER=y CONFIG_COREBOOT_FLASH=y CONFIG_LZMA=y # CONFIG_FLASH_FLOPPY is not set # # Hardware support # CONFIG_ATA=y CONFIG_ATA_DMA=y # CONFIG_ATA_PIO32 is not set CONFIG_AHCI=y # CONFIG_FLOPPY is not set # CONFIG_PS2PORT is not set 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_SERIAL=y # CONFIG_LPT is not set # # BIOS interfaces # CONFIG_DRIVES=y # CONFIG_CDROM_BOOT is not set CONFIG_PCIBIOS=y CONFIG_APMBIOS=y CONFIG_PNPBIOS=y CONFIG_OPTIONROMS=y # CONFIG_OPTIONROMS_DEPLOYED is not set # CONFIG_PMM is not set CONFIG_BOOT=y CONFIG_KEYBOARD=y # CONFIG_KBD_CALL_INT15_4F is not set CONFIG_MOUSE=y # CONFIG_S3_RESUME is not set CONFIG_VGAHOOKS=y # CONFIG_DISABLE_A20 is not set # # BIOS Tables # CONFIG_SMBIOS=y # CONFIG_NO_VGABIOS is not set # CONFIG_VBE is not set # CONFIG_CIRRUS_VGA is not set CONFIG_GEODE_GX2_VGA=y # CONFIG_GEODE_LX_VGA is not set # # Debugging # CONFIG_DEBUG_LEVEL=9 CONFIG_DEBUG_SERIAL=y CONFIG_DEBUG_SERIAL_PORT=0x3f8