128 lines
2.4 KiB
Plaintext
Executable File
128 lines
2.4 KiB
Plaintext
Executable File
#
|
|
# Automatically generated file; DO NOT EDIT.
|
|
# SeaBIOS Configuration
|
|
#
|
|
|
|
#
|
|
# General Features
|
|
#
|
|
# CONFIG_COREBOOT is not set
|
|
CONFIG_QEMU=y
|
|
# CONFIG_CSM is not set
|
|
CONFIG_QEMU_HARDWARE=y
|
|
# CONFIG_XEN is not set
|
|
CONFIG_THREADS=y
|
|
CONFIG_RELOCATE_INIT=y
|
|
CONFIG_BOOTMENU=y
|
|
CONFIG_BOOTSPLASH=y
|
|
CONFIG_BOOTORDER=y
|
|
# CONFIG_ENTRY_EXTRASTACK is not set
|
|
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_VIRTIO_BLK is not set
|
|
# CONFIG_VIRTIO_SCSI is not set
|
|
# CONFIG_PVSCSI is not set
|
|
# CONFIG_ESP_SCSI is not set
|
|
# CONFIG_LSI_SCSI is not set
|
|
# CONFIG_MEGASAS is not set
|
|
# CONFIG_MPT_SCSI is not set
|
|
CONFIG_FLOPPY=y
|
|
CONFIG_FLASH_FLOPPY=y
|
|
# CONFIG_NVME is not set
|
|
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_SERCON=y
|
|
CONFIG_LPT=y
|
|
CONFIG_RTC_TIMER=y
|
|
CONFIG_HARDWARE_IRQ=y
|
|
CONFIG_USE_SMM=y
|
|
CONFIG_CALL32_SMM=y
|
|
CONFIG_MTRR_INIT=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=y
|
|
# CONFIG_WRITABLE_UPPERMEMORY is not set
|
|
# CONFIG_TCGBIOS is not set
|
|
|
|
#
|
|
# BIOS Tables
|
|
#
|
|
CONFIG_PIRTABLE=y
|
|
CONFIG_MPTABLE=y
|
|
CONFIG_SMBIOS=y
|
|
CONFIG_ACPI=y
|
|
CONFIG_ACPI_DSDT=y
|
|
CONFIG_FW_ROMFILE_LOAD=y
|
|
|
|
#
|
|
# VGA ROM
|
|
#
|
|
# CONFIG_NO_VGABIOS is not set
|
|
# CONFIG_VGA_STANDARD_VGA is not set
|
|
# CONFIG_VGA_CIRRUS is not set
|
|
# CONFIG_VGA_ATI is not set
|
|
CONFIG_VGA_BOCHS=y
|
|
# CONFIG_VGA_GEODEGX2 is not set
|
|
# CONFIG_VGA_GEODELX is not set
|
|
# CONFIG_DISPLAY_BOCHS is not set
|
|
# CONFIG_VGA_RAMFB is not set
|
|
CONFIG_VGA_BOCHS_STDVGA=y
|
|
# CONFIG_VGA_BOCHS_VMWARE is not set
|
|
# CONFIG_VGA_BOCHS_QXL is not set
|
|
# CONFIG_VGA_BOCHS_VIRTIO is not set
|
|
CONFIG_BUILD_VGABIOS=y
|
|
CONFIG_VGA_STDVGA_PORTS=y
|
|
CONFIG_VGA_FIXUP_ASM=y
|
|
# CONFIG_VGA_ALLOCATE_EXTRA_STACK is not set
|
|
CONFIG_VGA_EXTRA_STACK_SIZE=512
|
|
CONFIG_VGA_VBE=y
|
|
CONFIG_VGA_PCI=y
|
|
# CONFIG_OVERRIDE_PCI_ID is not set
|
|
CONFIG_VGA_VID=0x1234
|
|
CONFIG_VGA_DID=0x1111
|
|
|
|
#
|
|
# Debugging
|
|
#
|
|
CONFIG_DEBUG_LEVEL=1
|
|
# CONFIG_DEBUG_SERIAL is not set
|
|
# CONFIG_DEBUG_SERIAL_MMIO is not set
|
|
CONFIG_DEBUG_IO=y
|