X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=a799842fbf0fa4a277085ab777aa2828f05751f9;hb=a14428cd3b2c9ad74ab44e624f6263fc8847bebe;hp=0fb4b9a6777d1b48bae2ff61dcd5348148915e27;hpb=3d68a569e5122ebb366d426d1e69f657a4201408;p=palacios.releases.git

diff --git a/Kconfig b/Kconfig
index 0fb4b9a..a799842 100644
--- a/Kconfig
+++ b/Kconfig
@@ -313,8 +313,9 @@ config DEBUG_VNET
 
 endmenu
 
-menu "Debug configuration"
+source "palacios/src/gears/Kconfig"
 
+menu "Debug configuration"
 
 ## Is unwind information useful