X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=79e6cc14501039d964e430da80c6d5c8efc44ab9;hp=4f43d7db3abb7938c7389382750dcb4c01a01485;hb=ca0524fbe3facc7acc0fa57d2449dffeb48d1ef6;hpb=4a159a81f66d3d4b826392059086962db2776a5c

diff --git a/Kconfig b/Kconfig
index 4f43d7d..79e6cc1 100644
--- a/Kconfig
+++ b/Kconfig
@@ -108,6 +108,13 @@ 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
+
 config BUILT_IN_STDLIB
 	bool "Enable Built in versions of stdlib functions"
 	default n