|
|
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.