added debug configuration option for decoding framework

[palacios.releases.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index 5374402..fb80706 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -30,8 +30,10 @@ config LINUX_BUILTIN
 config LINUX
        bool "Linux Module"
        select BUILT_IN_STDLIB
+       select BUILT_IN_STRDUP
        select BUILT_IN_ATOI
        select FILE
+       select V3_DECODER
        help
          This enables the necessary options to compile Palacios as a Linux module
  
@@ -86,6 +88,7 @@ choice
 
 config XED
        bool "XED decoder library"
+       depends on !LINUX
        help
           This uses the XED decoder library from pintools 
 
@@ -130,10 +133,19 @@ config FILE
 
 
 config CONSOLE
-       bool "Host Support for VM console"
+       bool "Host Support for VM text-mode console"
        default n
        help 
          Select this if you want to forward a guest console interface to some host OS service
+          This is for a TEXT MODE console.   Select the framebuffer console for graphics and text
+
+config GRAPHICS_CONSOLE
+       bool "Host Support for VM graphics and text-mode console based on a frame buffer"
+       default n
+       help 
+         Select this if you want to forward a guest graphics-mode (and text-mode) console 
+          interface to some host OS service.  This is for a GRAPHICS console based on a shared frame buffer.
+          Text mode output is RENDERED onto the framebuffer
 
 config SOCKET
         bool "Host support for Network Sockets"
@@ -415,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"