Fallback to shadow paging if nested not supported or no paging mode specified

[palacios.releases.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index b2479b3..7e231b0 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -165,7 +165,13 @@ config PMU_TELEMETRY
         Enable telemetry information for a range of PMU counters
           This causes the currently configured PMU counts to be printed
 
-
+config PWRSTAT_TELEMETRY
+       bool "Enable power statistics telemetry"
+       default n
+       depends on TELEMETRY && HOST_PWRSTAT
+       help
+               Enable telemetry information for power/energy counters 
+               
 
 config EXPERIMENTAL
        bool "Enable Experimental options"
@@ -430,6 +436,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