1#
2# SeaBIOS Configuration
3#
4
5#
6# General Features
7#
8# CONFIG_COREBOOT is not set
9CONFIG_QEMU=y
10# CONFIG_CSM is not set
11CONFIG_QEMU_HARDWARE=y
12CONFIG_XEN=y
13CONFIG_THREADS=y
14CONFIG_RELOCATE_INIT=y
15CONFIG_BOOTMENU=y
16CONFIG_BOOTSPLASH=y
17CONFIG_BOOTORDER=y
18CONFIG_ENTRY_EXTRASTACK=y
19CONFIG_MALLOC_UPPERMEMORY=y
20CONFIG_ROM_SIZE=0
21
22#
23# Hardware support
24#
25CONFIG_ATA=y
26CONFIG_ATA_DMA=y
27CONFIG_ATA_PIO32=y
28CONFIG_AHCI=y
29CONFIG_SDCARD=y
30CONFIG_VIRTIO_BLK=y
31CONFIG_VIRTIO_SCSI=y
32CONFIG_PVSCSI=y
33CONFIG_ESP_SCSI=y
34CONFIG_LSI_SCSI=y
35CONFIG_MEGASAS=y
36CONFIG_MPT_SCSI=y
37CONFIG_FLOPPY=y
38CONFIG_FLASH_FLOPPY=y
39CONFIG_PS2PORT=y
40CONFIG_USB=y
41CONFIG_USB_UHCI=y
42CONFIG_USB_OHCI=y
43CONFIG_USB_EHCI=y
44CONFIG_USB_XHCI=y
45CONFIG_USB_MSC=y
46CONFIG_USB_UAS=y
47CONFIG_USB_HUB=y
48CONFIG_USB_KEYBOARD=y
49CONFIG_USB_MOUSE=y
50CONFIG_SERIAL=y
51CONFIG_LPT=y
52CONFIG_RTC_TIMER=y
53CONFIG_HARDWARE_IRQ=y
54CONFIG_USE_SMM=y
55CONFIG_CALL32_SMM=y
56CONFIG_MTRR_INIT=y
57CONFIG_PMTIMER=y
58CONFIG_TSC_TIMER=y
59
60#
61# BIOS interfaces
62#
63CONFIG_DRIVES=y
64CONFIG_CDROM_BOOT=y
65CONFIG_CDROM_EMU=y
66CONFIG_PCIBIOS=y
67CONFIG_APMBIOS=y
68CONFIG_PNPBIOS=y
69CONFIG_OPTIONROMS=y
70CONFIG_PMM=y
71CONFIG_BOOT=y
72CONFIG_KEYBOARD=y
73CONFIG_KBD_CALL_INT15_4F=y
74CONFIG_MOUSE=y
75CONFIG_S3_RESUME=y
76CONFIG_VGAHOOKS=y
77# CONFIG_DISABLE_A20 is not set
78# CONFIG_WRITABLE_UPPERMEMORY is not set
79CONFIG_TCGBIOS=y
80
81#
82# BIOS Tables
83#
84CONFIG_PIRTABLE=y
85CONFIG_MPTABLE=y
86CONFIG_SMBIOS=y
87CONFIG_ACPI=y
88CONFIG_ACPI_DSDT=y
89CONFIG_FW_ROMFILE_LOAD=y
90
91#
92# VGA ROM
93#
94CONFIG_NO_VGABIOS=y
95# CONFIG_VGA_STANDARD_VGA is not set
96# CONFIG_VGA_CIRRUS is not set
97# CONFIG_VGA_BOCHS is not set
98# CONFIG_VGA_GEODEGX2 is not set
99# CONFIG_VGA_GEODELX is not set
100# CONFIG_BUILD_VGABIOS is not set
101CONFIG_VGA_EXTRA_STACK_SIZE=512
102
103#
104# Debugging
105#
106CONFIG_DEBUG_LEVEL=1
107# CONFIG_DEBUG_SERIAL is not set
108CONFIG_DEBUG_IO=y
109