X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=eb15aca7c6c9e21af6aa18093c3292fc2ff8c9da;hb=45d9da21cb9fcff297b690cc9f12c9a7c7a6ecb5;hp=f916b9f21d216d8c3d3020f3326cc3ab910a707e;hpb=14e8d7e88362f4f7c3c558bbdcb31d72011c10f5;p=palacios.releases.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index f916b9f..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
@@ -348,10 +364,12 @@ config DISK_MODEL
 config VGA
 	bool "VGA"
 	default n
-	depends on !PASSTHROUGH_VIDEO
+	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