added debug configuration option for decoding framework

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index 28c4b09..fb80706 100644 (file)
--- 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"