| # |
| # Automatically generated make config: don't edit |
| # SeaBIOS Configuration |
| # Sun Nov 18 21:22:50 2012 |
| # |
| |
| # |
| # General Features |
| # |
| # CONFIG_COREBOOT is not set |
| CONFIG_XEN=y |
| CONFIG_THREADS=y |
| # CONFIG_THREAD_OPTIONROMS is not set |
| CONFIG_RELOCATE_INIT=y |
| # CONFIG_BOOTMENU is not set |
| # CONFIG_BOOTORDER is not set |
| |
| # |
| # Hardware support |
| # |
| CONFIG_ATA=y |
| # CONFIG_ATA_DMA is not set |
| # CONFIG_ATA_PIO32 is not set |
| CONFIG_AHCI=y |
| CONFIG_VIRTIO_BLK=y |
| CONFIG_VIRTIO_SCSI=y |
| CONFIG_ESP_SCSI=y |
| CONFIG_LSI_SCSI=y |
| CONFIG_FLOPPY=y |
| CONFIG_PS2PORT=y |
| CONFIG_USB=y |
| CONFIG_USB_UHCI=y |
| CONFIG_USB_OHCI=y |
| CONFIG_USB_EHCI=y |
| CONFIG_USB_MSC=y |
| CONFIG_USB_UAS=y |
| CONFIG_USB_HUB=y |
| CONFIG_USB_KEYBOARD=y |
| CONFIG_USB_MOUSE=y |
| CONFIG_SERIAL=y |
| CONFIG_LPT=y |
| CONFIG_USE_SMM=y |
| CONFIG_MTRR_INIT=y |
| |
| # |
| # BIOS interfaces |
| # |
| CONFIG_DRIVES=y |
| CONFIG_CDROM_BOOT=y |
| CONFIG_CDROM_EMU=y |
| CONFIG_PCIBIOS=n |
| CONFIG_APMBIOS=n |
| CONFIG_PNPBIOS=n |
| CONFIG_OPTIONROMS=y |
| CONFIG_OPTIONROMS_DEPLOYED=y |
| CONFIG_PMM=y |
| CONFIG_BOOT=y |
| CONFIG_KEYBOARD=y |
| CONFIG_KBD_CALL_INT15_4F=y |
| CONFIG_MOUSE=y |
| CONFIG_S3_RESUME=y |
| CONFIG_VGAHOOKS=y |
| # CONFIG_DISABLE_A20 is not set |
| |
| # |
| # BIOS Tables |
| # |
| CONFIG_PIRTABLE=n |
| CONFIG_MPTABLE=n |
| CONFIG_SMBIOS=n |
| CONFIG_ACPI=n |
| |
| # |
| # VGA ROM |
| # |
| # CONFIG_NO_VGABIOS is not set |
| CONFIG_VGA_STANDARD_VGA=y |
| # CONFIG_VGA_CIRRUS is not set |
| # CONFIG_VGA_BOCHS is not set |
| # CONFIG_VGA_GEODEGX2 is not set |
| # CONFIG_VGA_GEODELX is not set |
| CONFIG_BUILD_VGABIOS=y |
| CONFIG_VGA_VBE=y |
| CONFIG_VGA_PCI=y |
| # CONFIG_OVERRIDE_PCI_ID is not set |
| CONFIG_VGA_VID=0x0000 |
| CONFIG_VGA_DID=0x0000 |
| |
| # |
| # Debugging |
| # |
| CONFIG_DEBUG_LEVEL=2 |
| # CONFIG_DEBUG_SERIAL is not set |
| CONFIG_DEBUG_IO=y |