X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=eb15aca7c6c9e21af6aa18093c3292fc2ff8c9da;hb=9cf8f2ddcb1d8c1d14adb6e5ac7084a5bb91d07a;hp=873792d2befe68d7198e32b39c5a1c385eec67dc;hpb=322b52c9b40b5d043e064efc75546804573a3be3;p=palacios.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 873792d..eb15aca 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -150,6 +150,22 @@ config DEBUG_VIRTIO_NET
         help
           Enable debugging for the Linux Virtio Network Device
 
+
+config LINUX_VIRTIO_VNET
+        bool "Enable Virtio VNET interface"
+        default n
+        depends on PCI && EXPERIMENTAL && VNET
+        help
+          Enable the Virtio VNET interface
+
+config DEBUG_LINUX_VIRTIO_VNET
+        bool "Virtio VNET Interface Debugging"
+        default n
+        depends on LINUX_VIRTIO_VNET && DEBUG_ON
+        help
+          Enable debugging for the VNET Virtio interface
+
+
 config VNET_NIC
         bool "Enable VNET VIrtio NIC Device"
         default n
@@ -345,6 +361,24 @@ config DISK_MODEL
 	help 
 	  Includes Performance model filter for disk operations
 
+config VGA
+	bool "VGA"
+	default n
+	depends on !PASSTHROUGH_VIDEO && GRAPHICS_CONSOLE
+	help
+	  Includes the Virtual VGA video support, and will 
+          eventually also include SVGA
+          Host frame buffer support (GRAPHICS_CONSOLE) is needed
+          for the hostframebuf option to work
+
+
+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