vgabios: Build vgabios by default if enabled in Kconfig.

[seabios.git] / src / Kconfig

diff --git a/src/Kconfig b/src/Kconfig
index ad16502e2367c8efba82e2a9df4692bca42acab0..4b72bd1c65c4c9361b0199018bef40b93c5d873c 100644 (file)
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -325,39 +325,79 @@ menu "BIOS Tables"
 endmenu
 
 menu "VGA ROM"
-    config VGA_CIRRUS
-        bool "QEMU Cirrus CLGD 54xx VGA BIOS"
-        default n
-        help
-            Build support for Cirrus VGA emulation.
-    
-    config VGA_BOCHS
-        bool "Bochs DISPI interface VGA BIOS"
-        default n
-        help
-            Build support for Bochs DISPI interface
-    
+    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 "PCI Vendor ID"
+        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 "PCI Device ID"
+        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