| # |
| # Automatically generated file; DO NOT EDIT. |
| # SeaBIOS Configuration |
| # |
| |
| # |
| # General Features |
| # |
| CONFIG_COREBOOT=y |
| # CONFIG_QEMU is not set |
| # CONFIG_CSM is not set |
| # CONFIG_QEMU_HARDWARE is not set |
| CONFIG_THREADS=y |
| CONFIG_RELOCATE_INIT=y |
| CONFIG_BOOTMENU=y |
| CONFIG_BOOTSPLASH=y |
| # CONFIG_BOOTORDER is not set |
| CONFIG_COREBOOT_FLASH=y |
| CONFIG_LZMA=y |
| CONFIG_CBFS_LOCATION=0 |
| # CONFIG_MULTIBOOT is not set |
| CONFIG_ENTRY_EXTRASTACK=y |
| CONFIG_MALLOC_UPPERMEMORY=y |
| CONFIG_ROM_SIZE=0 |
| |
| # |
| # Hardware support |
| # |
| # CONFIG_ATA is not set |
| CONFIG_AHCI=y |
| # CONFIG_SDCARD is not set |
| # CONFIG_MEGASAS is not set |
| # CONFIG_FLOPPY is not set |
| # CONFIG_FLASH_FLOPPY is not set |
| CONFIG_PS2PORT=y |
| CONFIG_USB=y |
| CONFIG_USB_UHCI=y |
| CONFIG_USB_OHCI=y |
| CONFIG_USB_EHCI=y |
| # CONFIG_USB_XHCI is not set |
| CONFIG_USB_MSC=y |
| # CONFIG_USB_UAS is not set |
| CONFIG_USB_HUB=y |
| CONFIG_USB_KEYBOARD=y |
| CONFIG_USB_MOUSE=y |
| # CONFIG_SERIAL is not set |
| # CONFIG_LPT is not set |
| CONFIG_RTC_TIMER=y |
| CONFIG_HARDWARE_IRQ=y |
| CONFIG_PMTIMER=y |
| CONFIG_TSC_TIMER=y |
| |
| # |
| # BIOS interfaces |
| # |
| CONFIG_DRIVES=y |
| CONFIG_CDROM_BOOT=y |
| CONFIG_CDROM_EMU=y |
| # CONFIG_PCIBIOS is not set |
| # CONFIG_APMBIOS is not set |
| # CONFIG_PNPBIOS is not set |
| CONFIG_OPTIONROMS=y |
| CONFIG_PMM=y |
| CONFIG_BOOT=y |
| CONFIG_KEYBOARD=y |
| # CONFIG_KBD_CALL_INT15_4F is not set |
| CONFIG_MOUSE=y |
| CONFIG_S3_RESUME=y |
| # CONFIG_VGAHOOKS is not set |
| # CONFIG_DISABLE_A20 is not set |
| CONFIG_TCGBIOS=y |
| |
| # |
| # VGA ROM |
| # |
| CONFIG_NO_VGABIOS=y |
| # CONFIG_VGA_GEODEGX2 is not set |
| # CONFIG_VGA_GEODELX is not set |
| # CONFIG_VGA_COREBOOT is not set |
| # CONFIG_BUILD_VGABIOS is not set |
| CONFIG_VGA_EXTRA_STACK_SIZE=512 |
| |
| # |
| # Debugging |
| # |
| CONFIG_DEBUG_LEVEL=1 |
| # CONFIG_DEBUG_SERIAL is not set |
| CONFIG_DEBUG_COREBOOT=y |