Update of scheduling infrastructure and newest version of EDF scheduler

[palacios.releases.git] / palacios / src / extensions / Kconfig

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index a8beae6..000d99f 100644 (file)
--- a/palacios/src/extensions/Kconfig
+++ b/palacios/src/extensions/Kconfig
@@ -12,7 +12,7 @@ config EXT_MACH_CHECK
        help 
           Provides a virtualized machine-check architecture
 
-config DEGUB_EXT_MACH_CHECK
+config DEBUG_EXT_MACH_CHECK
     bool "Debug machine-check functionality"
     default n
     depends on EXT_MACH_CHECK
@@ -37,4 +37,9 @@ config EXT_SCHED_EDF
        help
          Provides a full real-time EDF scheduler for VM cores
 
+config DEBUG_EXT_SCHED_EDF
+       bool "Debugging for EDF Real-time Scheduler"
+       default n
+       depends on DEBUG_ON && EXT_SCHED_EDF
+
 endmenu