X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FKconfig;h=eb646bccf1aea110c9da20bea948f4de845a3120;hb=e26f7efb461ea8fba7eb0fd14809618c22dd475b;hp=a8beae62d33904dd693e762ec0caab6631f6ce57;hpb=df510a069624b48dda1ad66368954f028757b1bc;p=palacios.git

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index a8beae6..eb646bc 100644
--- 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,20 @@ 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
+
+config EXT_CPU_MAPPER_EDF
+	bool "CPU Mapper for EDF Scheduler"
+	default n
+	help
+	  Provides an CPU Mapper for EDF scheduler
+
+config DEBUG_EXT_CPU_MAPPER_EDF
+	bool "Debugging for EDF CPU Mapper"
+	default n
+	depends on DEBUG_ON && EXT_CPU_MAPPER_EDF
+
 endmenu