Lock checking enhancements

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index c44bc12..cfbabb2 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -372,6 +372,13 @@ config DEBUG_SCHEDULER
     help
       This turns on debugging for scheduler
 
+config DEBUG_CPU_MAPPER
+    bool "CPU Mapper"
+    default n
+    depends on DEBUG_ON
+    help
+      This turns on debugging for CPU Mapper
+
 config DEBUG_IO
        bool "IO"
        default n
@@ -423,6 +430,21 @@ config DEBUG_MEM_ERRORS
     help
       This turns on debugging for memory translations and lookups
 
+config DEBUG_LOCKS
+    bool "Lock debugging (if host supports it)"
+    default n
+    depends on DEBUG_ON
+    help
+      This turns on lock debugging for locks in Palacios and in its host-specifc glue code.  This requires host support.
+
+config DEBUG_MEM_ALLOC
+    bool "Memory allocation debugging (if host supports it)"
+    default n
+    depends on DEBUG_ON
+    help
+      This turns on memory allocation debugging in Palacios, using the mechanisms provided by the host
+
+
 endmenu