[SeaBIOS] [PATCH 3/4] vgabios: Move vgabios Kconfig definitions to vgasrc/Kconfig.

Kevin O'Connor kevin at koconnor.net
Mon Jan 16 06:42:54 CET 2012


Signed-off-by: Kevin O'Connor <kevin at koconnor.net>
---
 src/Kconfig    |   79 +------------------------------------------------------
 vgasrc/Kconfig |   80 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 81 insertions(+), 78 deletions(-)
 create mode 100644 vgasrc/Kconfig

diff --git a/src/Kconfig b/src/Kconfig
index 4b72bd1..4270014 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -324,84 +324,7 @@ menu "BIOS Tables"
             Support generation of ACPI tables.
 endmenu
 
-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
+source ../vgasrc/Kconfig
 
 menu "Debugging"
     config DEBUG_LEVEL
diff --git a/vgasrc/Kconfig b/vgasrc/Kconfig
new file mode 100644
index 0000000..f6dfa66
--- /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
-- 
1.7.6.4




More information about the SeaBIOS mailing list