X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=e6e9dbfe5f21da563a267064b1d5c799affc212a;hb=b040d5d6eeac8036a6f39905913dcacbac87c6dd;hp=2c313df0622f47ed2fca0a8b28ee35293747aa77;hpb=9a9b55daa9e3bfd2214f620b9adbba6307dacd11;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 2c313df..e6e9dbf 100644
--- a/Kconfig
+++ b/Kconfig
@@ -278,8 +278,9 @@ config DEBUG_VNET
 
 endmenu
 
-menu "Debug configuration"
+source "palacios/src/gears/Kconfig"
 
+menu "Debug configuration"
 
 ## Is unwind information useful