Update on VNET-NIC device, and fix vnet & virtio net

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index 726a7b6..1ae4408 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -108,6 +108,14 @@ config VNET
         help
           Enable the Vnet in Palacios
 
+config DEBUG_VNET
+        depends on EXPERIMENTAL && VNET
+        bool "Enable Vnet Debug in Palacios"
+        default n
+        help
+          Enable the Vnet debug in Palacios
+
+
 endmenu