|
|
1.1 root 1: # Kconfig SeaBIOS VGA BIOS configuration
2:
3: menu "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: depends on !COREBOOT
15: bool "Standard VGA"
16: help
17: Build basic VGA BIOS support for use on emulators.
18:
19: config VGA_CIRRUS
20: depends on !COREBOOT
21: bool "QEMU Cirrus CLGD 54xx VGA BIOS"
22: help
23: Build support for Cirrus VGA emulation found on QEMU
24: and Bochs emulators. This is for emulators; it is not
25: intended for use on real Cirrus hardware.
26:
27: config VGA_BOCHS
28: depends on !COREBOOT
29: bool "Bochs DISPI interface VGA BIOS"
30: help
31: Build support for Bochs DISPI interface found on QEMU
32: and Bochs emulators.
33:
34: config VGA_GEODEGX2
35: bool "GeodeGX2 interface VGA BIOS"
36: help
37: Build support for Geode GX2 vga.
38:
39: config VGA_GEODELX
40: bool "GeodeLX interface VGA BIOS"
41: help
42: Build support for Geode LX vga.
43: endchoice
44:
45: config BUILD_VGABIOS
46: bool
47: default !NO_VGABIOS
48:
49: config VGA_VBE
50: depends on BUILD_VGABIOS
51: bool "Video BIOS Extensions (VBE)"
52: default y
53: help
54: Support VBE.
55:
56: config VGA_PCI
57: depends on BUILD_VGABIOS
58: bool "PCI ROM Headers"
59: default y
60: help
61: Build PCI ROM headers so the vga rom can be extracted from
62: a PCI device.
63:
64: config OVERRIDE_PCI_ID
65: depends on VGA_PCI
66: bool "Override PCI Vendor and Device IDs"
67: help
68: Specify specific values for the PCI Vendor and Device IDs.
69:
70: config VGA_VID
71: depends on VGA_PCI
72: hex
73: prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
74: default 0x1013 if VGA_CIRRUS
75: default 0x1234 if VGA_BOCHS
76: default 0x100b if VGA_GEODEGX2
77: default 0x1022 if VGA_GEODELX
78: default 0x0000
79: help
80: Vendor ID for the PCI ROM
81:
82: config VGA_DID
83: depends on VGA_PCI
84: hex
85: prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
86: default 0x00b8 if VGA_CIRRUS
87: default 0x1111 if VGA_BOCHS
88: default 0x0030 if VGA_GEODEGX2
89: default 0x2081 if VGA_GEODELX
90: default 0x0000
91: help
92: Device ID for the PCI ROM
93: endmenu
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.