# # 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=y 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 is not set # CONFIG_VGA_GEODEGX2 is not set # CONFIG_VGA_GEODELX is not set CONFIG_VGA_COREBOOT=y CONFIG_BUILD_VGABIOS=y CONFIG_VGA_EMULATE_TEXT=y CONFIG_VGA_FIXUP_ASM=y CONFIG_VGA_ALLOCATE_EXTRA_STACK=y CONFIG_VGA_EXTRA_STACK_SIZE=512 CONFIG_VGA_VBE=y # # Debugging # CONFIG_DEBUG_LEVEL=5 # CONFIG_DEBUG_SERIAL is not set # CONFIG_DEBUG_SERIAL_MMIO is not set CONFIG_DEBUG_COREBOOT=y