X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FKconfig;h=eb646bccf1aea110c9da20bea948f4de845a3120;hb=02d617c8f625ad5da6c4c9b78b224e84baac5d08;hp=000d99fcaea79a6198ff8964d8008f1ff6def7aa;hpb=194c3ac8da18934654586e121a0facfb36b4bc1f;p=palacios.git

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index 000d99f..eb646bc 100644
--- a/palacios/src/extensions/Kconfig
+++ b/palacios/src/extensions/Kconfig
@@ -42,4 +42,15 @@ config DEBUG_EXT_SCHED_EDF
 	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