diff options
-rw-r--r-- | litmus/Kconfig | 11 | ||||
-rw-r--r-- | litmus/Makefile | 4 |
2 files changed, 13 insertions, 2 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index c7cbedd1d83d..1c0a96d54992 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
@@ -12,6 +12,17 @@ config PLUGIN_CEDF | |||
12 | On smaller platforms (e.g., ARM PB11MPCore), using C-EDF | 12 | On smaller platforms (e.g., ARM PB11MPCore), using C-EDF |
13 | makes little sense since there aren't any shared caches. | 13 | makes little sense since there aren't any shared caches. |
14 | 14 | ||
15 | config PLUGIN_PFAIR | ||
16 | bool "PFAIR" | ||
17 | depends on HIGH_RES_TIMERS && !NO_HZ | ||
18 | default y | ||
19 | help | ||
20 | Include the PFAIR plugin (i.e., the PD^2 scheduler) in the kernel. | ||
21 | The PFAIR plugin requires high resolution timers (for staggered quanta) | ||
22 | and does not support NO_HZ (quanta could be missed when the system is idle). | ||
23 | |||
24 | If unsure, say Yes. | ||
25 | |||
15 | config RELEASE_MASTER | 26 | config RELEASE_MASTER |
16 | bool "Release-master Support" | 27 | bool "Release-master Support" |
17 | depends on ARCH_HAS_SEND_PULL_TIMERS | 28 | depends on ARCH_HAS_SEND_PULL_TIMERS |
diff --git a/litmus/Makefile b/litmus/Makefile index e581e87213c2..30369787ece2 100644 --- a/litmus/Makefile +++ b/litmus/Makefile | |||
@@ -13,10 +13,10 @@ obj-y = sched_plugin.o litmus.o \ | |||
13 | bheap.o \ | 13 | bheap.o \ |
14 | ctrldev.o \ | 14 | ctrldev.o \ |
15 | sched_gsn_edf.o \ | 15 | sched_gsn_edf.o \ |
16 | sched_psn_edf.o \ | 16 | sched_psn_edf.o |
17 | sched_pfair.o | ||
18 | 17 | ||
19 | obj-$(CONFIG_PLUGIN_CEDF) += sched_cedf.o | 18 | obj-$(CONFIG_PLUGIN_CEDF) += sched_cedf.o |
19 | obj-$(CONFIG_PLUGIN_PFAIR) += sched_pfair.o | ||
20 | 20 | ||
21 | obj-$(CONFIG_FEATHER_TRACE) += ft_event.o ftdev.o | 21 | obj-$(CONFIG_FEATHER_TRACE) += ft_event.o ftdev.o |
22 | obj-$(CONFIG_SCHED_TASK_TRACE) += sched_task_trace.o | 22 | obj-$(CONFIG_SCHED_TASK_TRACE) += sched_task_trace.o |