grml...
[seabios.git] / src / Kconfig
index 4b72bd1c65c4c9361b0199018bef40b93c5d873c..250663aad01fa9bfbadfa23b7393a85908463471 100644 (file)
@@ -283,7 +283,6 @@ menu "BIOS interfaces"
             Support S3 resume handler.
 
     config VGAHOOKS
-        depends on COREBOOT
         bool "Hardware specific VGA helpers"
         default y
         help
@@ -324,84 +323,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
@@ -425,4 +347,21 @@ menu "Debugging"
         default 0x3f8
         help
             Base port for serial - generally 0x3f8, 0x2f8, 0x3e8, or 0x2e8.
+
+    config DEBUG_IO
+        depends on !COREBOOT && DEBUG_LEVEL != 0
+        bool "Special IO port debugging"
+        default y
+        help
+            Some emulators or hypervisors provide with a way to output debug
+            information by outputing strings in a special port present in the
+            IO space.
+
+    config DEBUG_IO_PORT
+        depends on DEBUG_IO
+        hex "Debug IO port address"
+        default 0x0402
+        help
+            Bochs uses the 0x0402 address by default, whereas Xen
+            makes the 0xe9 IO address available for guests use.
 endmenu