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

diff --git a/Kconfig b/Kconfig
index 8518fd8..0fb4b9a 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