google/panther/4.0-6588-g4acd8ea-dirty
[board-status.git] / intel / bayleybay_fsp / 4.0-6293-g0b4b230 / 2014-06-25T23:32:28Z / seabios.config
1 #
2 # Automatically generated file; DO NOT EDIT.
3 # SeaBIOS Configuration
4 #
5
6 #
7 # General Features
8 #
9 CONFIG_COREBOOT=y
10 # CONFIG_QEMU is not set
11 # CONFIG_CSM is not set
12 # CONFIG_QEMU_HARDWARE is not set
13 CONFIG_THREADS=y
14 CONFIG_RELOCATE_INIT=y
15 CONFIG_BOOTMENU=y
16 # CONFIG_BOOTSPLASH is not set
17 CONFIG_BOOTORDER=y
18 CONFIG_COREBOOT_FLASH=y
19 CONFIG_LZMA=y
20 CONFIG_CBFS_LOCATION=0
21 CONFIG_FLASH_FLOPPY=y
22 CONFIG_ENTRY_EXTRASTACK=y
23 # CONFIG_MALLOC_UPPERMEMORY is not set
24 CONFIG_ROM_SIZE=0
25
26 #
27 # Hardware support
28 #
29 CONFIG_ATA=y
30 CONFIG_ATA_DMA=y
31 CONFIG_ATA_PIO32=y
32 CONFIG_AHCI=y
33 # CONFIG_MEGASAS is not set
34 CONFIG_FLOPPY=y
35 CONFIG_PS2PORT=y
36 CONFIG_USB=y
37 # CONFIG_USB_UHCI is not set
38 # CONFIG_USB_OHCI is not set
39 CONFIG_USB_EHCI=y
40 CONFIG_USB_XHCI=y
41 CONFIG_USB_MSC=y
42 # CONFIG_USB_UAS is not set
43 CONFIG_USB_HUB=y
44 CONFIG_USB_KEYBOARD=y
45 CONFIG_USB_MOUSE=y
46 CONFIG_SERIAL=y
47 # CONFIG_LPT is not set
48 CONFIG_PMTIMER=y
49
50 #
51 # BIOS interfaces
52 #
53 CONFIG_DRIVES=y
54 CONFIG_CDROM_BOOT=y
55 CONFIG_CDROM_EMU=y
56 CONFIG_PCIBIOS=y
57 CONFIG_APMBIOS=y
58 CONFIG_PNPBIOS=y
59 CONFIG_OPTIONROMS=y
60 CONFIG_PMM=y
61 CONFIG_BOOT=y
62 CONFIG_KEYBOARD=y
63 CONFIG_KBD_CALL_INT15_4F=y
64 CONFIG_MOUSE=y
65 CONFIG_S3_RESUME=y
66 # CONFIG_VGAHOOKS is not set
67 CONFIG_DISABLE_A20=y
68
69 #
70 # VGA ROM
71 #
72 CONFIG_NO_VGABIOS=y
73 # CONFIG_VGA_GEODEGX2 is not set
74 # CONFIG_VGA_GEODELX is not set
75 # CONFIG_VGA_COREBOOT is not set
76 # CONFIG_BUILD_VGABIOS is not set
77 CONFIG_VGA_EXTRA_STACK_SIZE=512
78
79 #
80 # Debugging
81 #
82 CONFIG_DEBUG_LEVEL=3
83 CONFIG_DEBUG_SERIAL=y
84 CONFIG_DEBUG_SERIAL_PORT=0x3f8
85 CONFIG_DEBUG_COREBOOT=y