blob: 881e9ec158cdbe1f21a59f7fd050d2c41be9220b [file] [log] [blame]
Kevin O'Connor5f4ce9e2012-01-15 02:01:24 -05001# Kconfig SeaBIOS VGA BIOS configuration
2
3menu "VGA ROM"
4 choice
5 prompt "VGA Hardware Type"
6 default NO_VGABIOS
7
8 config NO_VGABIOS
9 bool "None"
10 help
11 Do not build a VGA BIOS.
12
13 config VGA_STANDARD_VGA
14 bool "Standard VGA"
15 help
16 Build basic VGA BIOS support.
17
18 config VGA_CIRRUS
19 bool "QEMU Cirrus CLGD 54xx VGA BIOS"
20 help
21 Build support for Cirrus VGA emulation.
22
23 config VGA_BOCHS
24 bool "Bochs DISPI interface VGA BIOS"
25 help
26 Build support for Bochs DISPI interface.
27
28 config VGA_GEODEGX2
29 bool "GeodeGX2 interface VGA BIOS"
30 help
31 Build support for Geode GX2 vga.
32
33 config VGA_GEODELX
34 bool "GeodeLX interface VGA BIOS"
35 help
36 Build support for Geode LX vga.
37 endchoice
38
39 config BUILD_VGABIOS
40 bool
41 default !NO_VGABIOS
42
Kevin O'Connorb3df8572012-01-15 02:43:19 -050043 config VGA_VBE
44 depends on BUILD_VGABIOS
45 bool "Video BIOS Extensions (VBE)"
46 default y
47 help
48 Support VBE.
49
Kevin O'Connor5f4ce9e2012-01-15 02:01:24 -050050 config VGA_PCI
51 depends on BUILD_VGABIOS
52 bool "PCI ROM Headers"
53 default y
54 help
55 Build PCI ROM headers so the vga rom can be extracted from
56 a PCI device.
57
58 config OVERRIDE_PCI_ID
59 depends on VGA_PCI
60 bool "Override PCI Vendor and Device IDs"
61 help
62 Specify specific values for the PCI Vendor and Device IDs.
63
64 config VGA_VID
65 depends on VGA_PCI
66 hex
67 prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
68 default 0x1013 if VGA_CIRRUS
69 default 0x1234 if VGA_BOCHS
70 default 0x100b if VGA_GEODEGX2
71 default 0x1022 if VGA_GEODELX
72 default 0x0000
73 help
74 Vendor ID for the PCI ROM
75
76 config VGA_DID
77 depends on VGA_PCI
78 hex
79 prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
80 default 0x00b8 if VGA_CIRRUS
81 default 0x1111 if VGA_BOCHS
82 default 0x0030 if VGA_GEODEGX2
83 default 0x2081 if VGA_GEODELX
84 default 0x0000
85 help
86 Device ID for the PCI ROM
87endmenu