Add CPU mapper extension and fix to scheduler for time dilation

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index c44bc12..b2479b3 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