X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=79e6cc14501039d964e430da80c6d5c8efc44ab9;hp=c6446e500782192fcd093f2a25f941bae4f3c3eb;hb=7bb0986868fca4e2618c52139f914efd1edb0839;hpb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14

diff --git a/Kconfig b/Kconfig
index c6446e5..79e6cc1 100644
--- a/Kconfig
+++ b/Kconfig
@@ -102,11 +102,18 @@ config EXPERIMENTAL
 	  to more easily track changes and provide access to multiple developers
 
 config VNET
-	depends on EXPERIMENTAL
-	bool "Enable Vnet in Palacios"
-	default n
-	help
-	  Enable the Vnet in Palacios
+        depends on EXPERIMENTAL
+        bool "Enable Vnet in Palacios"
+        default n
+        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
 
 config BUILT_IN_STDLIB
 	bool "Enable Built in versions of stdlib functions"