update Kconfig, added VNET configuration menu

diff --git a/Kconfig b/Kconfig
index ffe5e0c..71f5f9b 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -284,6 +284,14 @@ config VNET
         help
           Enable the Vnet in Palacios
 
+config DEBUG_VNET
+        depends on VNET
+        bool "Enable Vnet Debug in Palacios"
+        default n
+        help
+          Enable the Vnet debug in Palacios
+
+
 endmenu
 
 menu "Debug configuration"
@@ -394,13 +402,6 @@ config DEBUG_DEV_MGR
        help 
          This turns on debugging for the device manager
 
-config DEBUG_VNET
-        depends on EXPERIMENTAL && VNET
-        bool "Enable Vnet Debug in Palacios"
-        default n
-        help
-          Enable the Vnet debug in Palacios
-
 endmenu
 
 

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 86c8dfc..15be9a4 100644 (file)
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -156,7 +156,7 @@ config DEBUG_VIRTIO_SYM
 config LINUX_VIRTIO_NET
         bool "Enable Virtio Network Device"
         default n
-       depends on PCI && EXPERIMENTAL
+       depends on PCI
         help
           Enable the Virtio Net
 
@@ -171,7 +171,7 @@ config DEBUG_VIRTIO_NET
 config LINUX_VIRTIO_VNET
         bool "Enable Virtio VNET interface"
         default n
-        depends on PCI && EXPERIMENTAL && VNET
+        depends on PCI && VNET
         help
           Enable the Virtio VNET interface for Control VM
 
@@ -186,12 +186,12 @@ config DEBUG_LINUX_VIRTIO_VNET
 config VNET_NIC
         bool "Enable VNET Backend Device"
         default n
-       depends on PCI && EXPERIMENTAL && VNET
+       depends on PCI && VNET
         help
           Enable the VNET backend device
 
 config DEBUG_VNET_NIC
-        bool "VNET NIC Device Debugging"
+        bool "VNET Backend Device Debugging"
         default n
         depends on VNET_NIC && DEBUG_ON
         help