2 files changed, 15 insertions, 1 deletions

diff --git a/litmus/Kconfig b/litmus/Kconfig
index 874794f64af1..cc49e1a7f9c7 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -1,5 +1,18 @@
 menu "LITMUS^RT"
 
+menu "Plugins"
+
+config PLUGIN_CEDF
+        bool "Clustered-EDF"
+        default y
+        help
+          Include the Clustered EDF (C-EDF) plugin in the kernel.
+          This is appropriate for large platforms with shared caches.
+          On smaller platforms (e.g., ARM PB11MPCore), using C-EDF
+          makes little sense since there aren't any shared caches.
+
+endmenu
+
 menu "Real-Time Synchronization"
 
 config NP_SECTION
diff --git a/litmus/Makefile b/litmus/Makefile
index 0cc33e8bee51..e581e87213c2 100644
--- a/litmus/Makefile
+++ b/litmus/Makefile
@@ -14,9 +14,10 @@ obj-y     = sched_plugin.o litmus.o \
             ctrldev.o \
             sched_gsn_edf.o \
             sched_psn_edf.o \
-            sched_cedf.o \
             sched_pfair.o
 
+obj-$(CONFIG_PLUGIN_CEDF) += sched_cedf.o
+
 obj-$(CONFIG_FEATHER_TRACE) += ft_event.o ftdev.o
 obj-$(CONFIG_SCHED_TASK_TRACE) += sched_task_trace.o
 obj-$(CONFIG_SCHED_DEBUG_TRACE) += sched_trace.o