| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495 |
- #
- # 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=y
- 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=y
- # CONFIG_ATA_DMA is not set
- # CONFIG_ATA_PIO32 is not set
- CONFIG_AHCI=y
- CONFIG_SDCARD=y
- CONFIG_MEGASAS=y
- CONFIG_FLOPPY=y
- CONFIG_FLASH_FLOPPY=y
- CONFIG_PS2PORT=y
- CONFIG_USB=y
- CONFIG_USB_UHCI=y
- CONFIG_USB_OHCI=y
- CONFIG_USB_EHCI=y
- CONFIG_USB_XHCI=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_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=y
- CONFIG_APMBIOS=y
- CONFIG_PNPBIOS=y
- CONFIG_OPTIONROMS=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
- 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=1
- # CONFIG_DEBUG_SERIAL is not set
- CONFIG_DEBUG_COREBOOT=y
|
