X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=a799842fbf0fa4a277085ab777aa2828f05751f9;hb=164bd99da7605dfb5f8a56338e54c924b2a583a6;hp=8518fd8698ddaa0da89204783e95bfad87b31008;hpb=281d544b5352321631fb51c394e1ae0a9680b752;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 8518fd8..a799842 100644
--- a/Kconfig
+++ b/Kconfig
@@ -102,6 +102,16 @@ config V3_DECODER
 	help
 	    This selects the internal V3Vee x86 decoder
 
+config QUIX86
+    bool "QUIX86 decoder"
+    help
+        This selects the QUIX86 decoder library
+
+config QUIX86_DEBUG
+    bool "QUIX86 decoder debug version"
+    help
+        This selects the QUIX86 decoder library compiled w/o optimization
+        and with debug info
 
 endchoice
 
@@ -303,8 +313,9 @@ config DEBUG_VNET
 
 endmenu
 
-menu "Debug configuration"
+source "palacios/src/gears/Kconfig"
 
+menu "Debug configuration"
 
 ## Is unwind information useful