X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=b5e625e97697c37eb24ee3b532923d1ae1416e29;hb=abe79f30c8babe9d9e3989cf4a61ae4f3b5ce7e9;hp=55b6b1ed6f04f6df962b4870292c64c2d3836450;hpb=8a8e371fd9be4513214a0013063d87ecbc5582c1;p=palacios.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 55b6b1e..b5e625e 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -147,7 +147,7 @@ config DEBUG_VIRTIO_SYM
 config LINUX_VIRTIO_NET
         bool "Enable Virtio Network Device"
         default n
-	depends on PCI
+	depends on PCI && EXPERIMENTAL
         help
           Enable the Virtio Net
 
@@ -158,6 +158,20 @@ config DEBUG_VIRTIO_NET
         help
           Enable debugging for the Linux Virtio Network Device
 
+config VNET_NIC
+        bool "Enable VNET VIrtio NIC Device"
+        default n
+	depends on PCI && EXPERIMENTAL
+        help
+          Enable the VNET Virtio backend device
+
+config DEBUG_VNET_NIC
+        bool "VNET NIC Device Debugging"
+        default n
+        depends on VNET_NIC && DEBUG_ON
+        help
+          Enable debugging for the VNET NIC Device
+
 
 config NE2K
 	bool "NE2K"
@@ -309,5 +323,6 @@ config TELNET_CONSOLE
 	help
 	  Includes the virtual telnet console 
 
+
 endmenu