X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=fb80706fb83146c92cb626122eba29dc57aa9e0c;hb=9058423c8215f5abb3ad2fb789c5b16a250e7c65;hp=28c4b09687c32853871f860f5d34f426b75c3517;hpb=c3ba9f9d738531f47610806bccfca29c0b02cc2b;p=palacios.releases.git

diff --git a/Kconfig b/Kconfig
index 28c4b09..fb80706 100644
--- a/Kconfig
+++ b/Kconfig
@@ -427,12 +427,12 @@ config DEBUG_EMULATOR
 	  This turns on debugging for the Instruction Emulator
 
 
-config DEBUG_XED
-	bool "XED"
+config DEBUG_DECODER
+	bool "Instruction Decoder"
 	default n
 	depends on DEBUG_ON
 	help 
-	  This turns on debugging for the Xed Decoder
+	  This turns on debugging for the selected instruction decoder
 
 config DEBUG_HALT
 	bool "Halt"