blob: 0ed6e205ca3e26a9c80ffd289026ee62fb7732ed [file] [log] [blame]
Ivan Vatlinff90e032020-05-13 18:10:47 +03001#
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_HOST_BIOS_GEOMETRY=y
19CONFIG_COREBOOT_FLASH=y
20CONFIG_LZMA=y
21CONFIG_CBFS_LOCATION=0
22CONFIG_MULTIBOOT=y
23CONFIG_ENTRY_EXTRASTACK=y
24CONFIG_MALLOC_UPPERMEMORY=y
25CONFIG_ROM_SIZE=0
26
27#
28# Hardware support
29#
30# CONFIG_ATA is not set
31CONFIG_AHCI=y
32CONFIG_SDCARD=y
33CONFIG_MEGASAS=y
34CONFIG_FLOPPY=y
35CONFIG_FLASH_FLOPPY=y
36CONFIG_NVME=y
37CONFIG_PS2PORT=y
38CONFIG_USB=y
39CONFIG_USB_UHCI=y
40CONFIG_USB_OHCI=y
41CONFIG_USB_EHCI=y
42CONFIG_USB_XHCI=y
43CONFIG_USB_MSC=y
44CONFIG_USB_UAS=y
45CONFIG_USB_HUB=y
46CONFIG_USB_KEYBOARD=y
47CONFIG_USB_MOUSE=y
48CONFIG_SERIAL=y
49CONFIG_SERCON=y
50CONFIG_LPT=y
51CONFIG_RTC_TIMER=y
52CONFIG_HARDWARE_IRQ=y
53CONFIG_PMTIMER=y
54CONFIG_TSC_TIMER=y
55
56#
57# BIOS interfaces
58#
59CONFIG_DRIVES=y
60CONFIG_CDROM_BOOT=y
61CONFIG_CDROM_EMU=y
62CONFIG_PCIBIOS=y
63CONFIG_APMBIOS=y
64CONFIG_PNPBIOS=y
65CONFIG_OPTIONROMS=y
66CONFIG_PMM=y
67CONFIG_BOOT=y
68CONFIG_KEYBOARD=y
69CONFIG_KBD_CALL_INT15_4F=y
70CONFIG_MOUSE=y
71CONFIG_S3_RESUME=y
72CONFIG_VGAHOOKS=y
73# CONFIG_DISABLE_A20 is not set
74CONFIG_TCGBIOS=y
75
76#
77# VGA ROM
78#
79CONFIG_NO_VGABIOS=y
80# CONFIG_VGA_GEODEGX2 is not set
81# CONFIG_VGA_GEODELX is not set
82# CONFIG_VGA_COREBOOT is not set
83# CONFIG_BUILD_VGABIOS is not set
84CONFIG_VGA_EXTRA_STACK_SIZE=512
85
86#
87# Debugging
88#
89CONFIG_DEBUG_LEVEL=1
90CONFIG_DEBUG_SERIAL=y
91CONFIG_DEBUG_SERIAL_PORT=0x3f8
92CONFIG_DEBUG_COREBOOT=y