X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=6c11bac80eaaa2e9bc029f5f752d0583bad7f28d;hb=a71f35bcb2dc587326be18345adb1ad1d81b9435;hp=06f962bfba4df237ba028a7ab69cb01d614849c6;hpb=305267e8eaabf7dffadd86abc323f7d1b231e388;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 06f962b..6c11bac 100644
--- a/Kconfig
+++ b/Kconfig
@@ -63,6 +63,22 @@ config DEBUG_INFO
 	help
 	  Compiles the Palacios library with debugging symbols
 
+choice 
+	prompt "X86 decoder"
+	default XED
+
+config XED
+	bool "XED decoder library"
+	help
+	   This uses the XED decoder library from pintools 
+
+config V3_DECODER
+	bool "Internal Palacios decoder"
+	help
+	    This selects the internal V3Vee x86 decoder
+
+
+endchoice
 
 menu "Supported host OS features"