X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=f916b9f21d216d8c3d3020f3326cc3ab910a707e;hb=aa49f63e0f1d36b9f5fde950f2b9048fdd598b82;hp=b4bccb75054db0a1ff7f7a07cae085c93b18620c;hpb=b349b55150ada21d3f973bf9a2571f7fd7312c4f;p=palacios-OLD.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index b4bccb7..f916b9f 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -3,7 +3,6 @@ menu "Virtual Devices"
 config APIC
 	bool "APIC" 
 	default y
-	depends on EXPERIMENTAL
 	help 
 	  Includes the Virtual APIC device
 
@@ -19,7 +18,6 @@ config DEBUG_APIC
 
 config IO_APIC
 	bool "IOAPIC"
-	depends on EXPERIMENTAL
 	default y
 	help 
 	  Includes the Virtual IO APIC
@@ -347,6 +345,22 @@ config DISK_MODEL
 	help 
 	  Includes Performance model filter for disk operations
 
+config VGA
+	bool "VGA"
+	default n
+	depends on !PASSTHROUGH_VIDEO
+	help
+	  Includes the Virtual VGA video support, and will 
+          eventually also include SVGA
+
+
+config DEBUG_VGA
+	bool "DEBUG_VGA"
+	default n
+	depends on VGA
+	help
+	  Enables debugging output for the VGA device 
+
 config CGA
 	bool "CGA"
 	default n