Add CPU mapper extension and fix to scheduler for time dilation

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index 1d21516..b2479b3 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -157,6 +157,14 @@ config SHADOW_PAGING_TELEMETRY
        help
          Enable telemetry information for shadow paging 
 
+config PMU_TELEMETRY
+      bool "Enable PMU telemetry"
+      default n
+      depends on TELEMETRY && HOST_PMU
+      help
+        Enable telemetry information for a range of PMU counters
+          This causes the currently configured PMU counts to be printed
+
 
 
 config EXPERIMENTAL
@@ -357,6 +365,20 @@ config DEBUG_TIME
        help
          This turns on debugging of system time virtualization
 
+config DEBUG_SCHEDULER
+    bool "Scheduler"
+    default n
+    depends on DEBUG_ON
+    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