blob: 5df0b0f7e9e8b546ababac002d72db292f13e9f7 [file] [log] [blame]
Paul Menzel0911f282017-03-10 16:42:24 +01001#
2# Automatically generated file; DO NOT EDIT.
3# SeaBIOS Configuration
4#
5
6#
7# General Features
8#
9CONFIG_COREBOOT=y
10# CONFIG_QEMU is not set
11# CONFIG_CSM is not set
12# CONFIG_QEMU_HARDWARE is not set
13CONFIG_THREADS=y
14CONFIG_RELOCATE_INIT=y
15CONFIG_BOOTMENU=y
16CONFIG_BOOTSPLASH=y
17CONFIG_BOOTORDER=y
18CONFIG_COREBOOT_FLASH=y
19CONFIG_LZMA=y
20CONFIG_CBFS_LOCATION=0
21CONFIG_MULTIBOOT=y
22CONFIG_ENTRY_EXTRASTACK=y
23CONFIG_MALLOC_UPPERMEMORY=y
24CONFIG_ROM_SIZE=0
25
26#
27# Hardware support
28#
29# CONFIG_ATA is not set
30CONFIG_AHCI=y
31# CONFIG_SDCARD is not set
32# CONFIG_MEGASAS is not set
33# CONFIG_FLOPPY is not set
34CONFIG_FLASH_FLOPPY=y
35CONFIG_PS2PORT=y
36CONFIG_USB=y
37CONFIG_USB_UHCI=y
38CONFIG_USB_OHCI=y
39CONFIG_USB_EHCI=y
40CONFIG_USB_XHCI=y
41CONFIG_USB_MSC=y
42CONFIG_USB_UAS=y
43CONFIG_USB_HUB=y
44CONFIG_USB_KEYBOARD=y
45CONFIG_USB_MOUSE=y
46CONFIG_SERIAL=y
47CONFIG_LPT=y
48CONFIG_RTC_TIMER=y
49CONFIG_HARDWARE_IRQ=y
50CONFIG_PMTIMER=y
51CONFIG_TSC_TIMER=y
52
53#
54# BIOS interfaces
55#
56CONFIG_DRIVES=y
57CONFIG_CDROM_BOOT=y
58CONFIG_CDROM_EMU=y
59CONFIG_PCIBIOS=y
60CONFIG_APMBIOS=y
61CONFIG_PNPBIOS=y
62CONFIG_OPTIONROMS=y
63CONFIG_PMM=y
64CONFIG_BOOT=y
65CONFIG_KEYBOARD=y
66CONFIG_KBD_CALL_INT15_4F=y
67CONFIG_MOUSE=y
68CONFIG_S3_RESUME=y
69CONFIG_VGAHOOKS=y
70# CONFIG_DISABLE_A20 is not set
71CONFIG_TCGBIOS=y
72
73#
74# VGA ROM
75#
76# CONFIG_NO_VGABIOS is not set
77# CONFIG_VGA_GEODEGX2 is not set
78# CONFIG_VGA_GEODELX is not set
79CONFIG_VGA_COREBOOT=y
80CONFIG_BUILD_VGABIOS=y
81CONFIG_VGA_EMULATE_TEXT=y
82CONFIG_VGA_FIXUP_ASM=y
83CONFIG_VGA_ALLOCATE_EXTRA_STACK=y
84CONFIG_VGA_EXTRA_STACK_SIZE=512
85CONFIG_VGA_VBE=y
86
87#
88# Debugging
89#
90CONFIG_DEBUG_LEVEL=5
91CONFIG_DEBUG_SERIAL=y
92CONFIG_DEBUG_SERIAL_PORT=0x3f8
93CONFIG_DEBUG_COREBOOT=y