1# 2# Automatically generated file; DO NOT EDIT. 3# SeaBIOS Configuration 4# 5# CONFIG_X86 is not set 6CONFIG_PARISC=y 7 8# 9# General Features 10# 11CONFIG_QEMU=y 12CONFIG_QEMU_HARDWARE=y 13CONFIG_BOOTMENU=y 14CONFIG_BOOTORDER=y 15CONFIG_ROM_SIZE=0 16 17# 18# Hardware support 19# 20CONFIG_ATA=y 21# CONFIG_ATA_DMA is not set 22# CONFIG_ATA_PIO32 is not set 23CONFIG_AHCI=y 24CONFIG_VIRTIO_BLK=y 25CONFIG_VIRTIO_SCSI=y 26CONFIG_PVSCSI=y 27CONFIG_ESP_SCSI=y 28CONFIG_LSI_SCSI=y 29CONFIG_MEGASAS=y 30CONFIG_MPT_SCSI=y 31CONFIG_PS2PORT=y 32CONFIG_USB=y 33CONFIG_USB_UHCI=y 34CONFIG_USB_OHCI=y 35CONFIG_USB_EHCI=y 36CONFIG_USB_MSC=y 37CONFIG_USB_UAS=y 38CONFIG_USB_HUB=y 39CONFIG_USB_KEYBOARD=y 40CONFIG_USB_MOUSE=y 41CONFIG_SERIAL=y 42CONFIG_SERCON=y 43CONFIG_LPT=y 44CONFIG_TSC_TIMER=y 45 46# 47# BIOS interfaces 48# 49CONFIG_DRIVES=y 50CONFIG_CDROM_BOOT=y 51CONFIG_CDROM_EMU=y 52CONFIG_PCIBIOS=y 53CONFIG_APMBIOS=y 54CONFIG_PNPBIOS=y 55CONFIG_BOOT=y 56CONFIG_KEYBOARD=y 57CONFIG_KBD_CALL_INT15_4F=y 58CONFIG_MOUSE=y 59CONFIG_S3_RESUME=y 60CONFIG_VGAHOOKS=y 61# CONFIG_DISABLE_A20 is not set 62# CONFIG_WRITABLE_UPPERMEMORY is not set 63CONFIG_TCGBIOS=y 64 65# 66# VGA ROM 67# 68CONFIG_NO_VGABIOS=y 69# CONFIG_VGA_STANDARD_VGA is not set 70# CONFIG_VGA_CIRRUS is not set 71# CONFIG_VGA_BOCHS is not set 72# CONFIG_VGA_GEODEGX2 is not set 73# CONFIG_VGA_GEODELX is not set 74# CONFIG_DISPLAY_BOCHS is not set 75# CONFIG_VGA_RAMFB is not set 76# CONFIG_BUILD_VGABIOS is not set 77CONFIG_VGA_EXTRA_STACK_SIZE=512 78 79# 80# Debugging 81# 82CONFIG_DEBUG_LEVEL=1 83# CONFIG_DEBUG_SERIAL is not set 84# CONFIG_DEBUG_SERIAL_MMIO is not set 85CONFIG_DEBUG_IO=y 86