Update of scheduling infrastructure and newest version of EDF scheduler

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index e6e9dbf..5edd454 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -175,8 +175,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 +357,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 +394,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