blob: f6dfa660160ccb10c0ba660eccef15f60d47cb85 [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
43 config VGA_PCI
44 depends on BUILD_VGABIOS
45 bool "PCI ROM Headers"
46 default y
47 help
48 Build PCI ROM headers so the vga rom can be extracted from
49 a PCI device.
50
51 config OVERRIDE_PCI_ID
52 depends on VGA_PCI
53 bool "Override PCI Vendor and Device IDs"
54 help
55 Specify specific values for the PCI Vendor and Device IDs.
56
57 config VGA_VID
58 depends on VGA_PCI
59 hex
60 prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
61 default 0x1013 if VGA_CIRRUS
62 default 0x1234 if VGA_BOCHS
63 default 0x100b if VGA_GEODEGX2
64 default 0x1022 if VGA_GEODELX
65 default 0x0000
66 help
67 Vendor ID for the PCI ROM
68
69 config VGA_DID
70 depends on VGA_PCI
71 hex
72 prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
73 default 0x00b8 if VGA_CIRRUS
74 default 0x1111 if VGA_BOCHS
75 default 0x0030 if VGA_GEODEGX2
76 default 0x2081 if VGA_GEODELX
77 default 0x0000
78 help
79 Device ID for the PCI ROM
80endmenu