diff options
| author | Kevin O'Connor <kevin@koconnor.net> | 2012-01-15 02:01:24 -0500 |
|---|---|---|
| committer | Kevin O'Connor <kevin@koconnor.net> | 2012-01-16 12:02:39 -0500 |
| commit | 5f4ce9e9bed74f84b6019524f356f125e0c3036e (patch) | |
| tree | 67ea697f463c5e54f6462158fe5a33044a54afe6 /vgasrc/Kconfig | |
| parent | a7fc815d6fa18a7143c781d65a3fdc7c9bcf1e20 (diff) | |
| download | seabios-5f4ce9e9bed74f84b6019524f356f125e0c3036e.tar.gz | |
vgabios: Move vgabios Kconfig definitions to vgasrc/Kconfig.
Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
Diffstat (limited to 'vgasrc/Kconfig')
| -rw-r--r-- | vgasrc/Kconfig | 80 |
1 files changed, 80 insertions, 0 deletions
diff --git a/vgasrc/Kconfig b/vgasrc/Kconfig new file mode 100644 index 00000000..f6dfa660 --- /dev/null +++ b/vgasrc/Kconfig @@ -0,0 +1,80 @@ +# Kconfig SeaBIOS VGA BIOS configuration + +menu "VGA ROM" + choice + prompt "VGA Hardware Type" + default NO_VGABIOS + + config NO_VGABIOS + bool "None" + help + Do not build a VGA BIOS. + + config VGA_STANDARD_VGA + bool "Standard VGA" + help + Build basic VGA BIOS support. + + config VGA_CIRRUS + bool "QEMU Cirrus CLGD 54xx VGA BIOS" + help + Build support for Cirrus VGA emulation. + + config VGA_BOCHS + bool "Bochs DISPI interface VGA BIOS" + help + Build support for Bochs DISPI interface. + + config VGA_GEODEGX2 + bool "GeodeGX2 interface VGA BIOS" + help + Build support for Geode GX2 vga. + + config VGA_GEODELX + bool "GeodeLX interface VGA BIOS" + help + Build support for Geode LX vga. + endchoice + + config BUILD_VGABIOS + bool + default !NO_VGABIOS + + config VGA_PCI + depends on BUILD_VGABIOS + bool "PCI ROM Headers" + default y + help + Build PCI ROM headers so the vga rom can be extracted from + a PCI device. + + config OVERRIDE_PCI_ID + depends on VGA_PCI + bool "Override PCI Vendor and Device IDs" + help + Specify specific values for the PCI Vendor and Device IDs. + + config VGA_VID + depends on VGA_PCI + hex + prompt "PCI Vendor ID" if OVERRIDE_PCI_ID + default 0x1013 if VGA_CIRRUS + default 0x1234 if VGA_BOCHS + default 0x100b if VGA_GEODEGX2 + default 0x1022 if VGA_GEODELX + default 0x0000 + help + Vendor ID for the PCI ROM + + config VGA_DID + depends on VGA_PCI + hex + prompt "PCI Vendor ID" if OVERRIDE_PCI_ID + default 0x00b8 if VGA_CIRRUS + default 0x1111 if VGA_BOCHS + default 0x0030 if VGA_GEODEGX2 + default 0x2081 if VGA_GEODELX + default 0x0000 + help + Device ID for the PCI ROM +endmenu |