X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=c44bc12eee3105fcea11747cc9aa2d41f3039fb7;hb=cafc7daf7fdbd6c7989cac277bdaae284275e32f;hp=e6e9dbfe5f21da563a267064b1d5c799affc212a;hpb=248165419c37671ef8bad2fe5851a32f3fe837d3;p=palacios.git

diff --git a/Kconfig b/Kconfig
index e6e9dbf..c44bc12 100644
--- 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
@@ -175,8 +183,21 @@ config CHECKPOINT
 	bool "Enable Checkpointing"
 	default n
 	help 
-	  Temporary option to enable experimental checkpoint code
+	  Enable checkpointing functionality (save/load VMs)
 
+config LIVE_MIGRATION
+	bool "Enable Live Migration"
+	depends on CHECKPOINT
+	default n
+	help
+          Enable live migration functionality (send/receive VMs)
+
+config DEBUG_CHECKPOINT
+	bool "Enable Checkpointing and Live Migration Debugging Output"
+	depends on CHECKPOINT
+	default n
+	help
+	  Generate output from the debugging statements in checkpointing and live migration
 
 
 endmenu
@@ -344,6 +365,13 @@ 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_IO
 	bool "IO"
 	default n
@@ -374,6 +402,13 @@ config DEBUG_HALT
 	help 
 	  This turns on debugging for the halt instruction handler
 
+config DEBUG_MWAIT
+	bool "MWAIT/MONITOR"
+	default n
+	depends on DEBUG_ON
+	help 
+	  This turns on debugging for the mwait and monitor instruction handlers
+
 config DEBUG_DEV_MGR
 	bool "Device Manager"
 	default n