diff options
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r-- | litmus/Kconfig | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index 38d9e433b345..babb43deffb5 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
@@ -12,6 +12,19 @@ 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 | default y | ||
18 | help | ||
19 | Include the PFAIR plugin (i.e., the PD^2 scheduler) in the kernel. | ||
20 | The PFAIR plugin requires high resolution timers (for staggered | ||
21 | quanta) and also requires HZ_PERIODIC (i.e., periodic timer ticks | ||
22 | even if a processor is idle, as quanta could be missed otherwise). | ||
23 | Further, the PFAIR plugin uses the system tick and thus requires | ||
24 | HZ=1000 to achive reasonable granularity. | ||
25 | |||
26 | If unsure, say Yes. | ||
27 | |||
15 | config RELEASE_MASTER | 28 | config RELEASE_MASTER |
16 | bool "Release-master Support" | 29 | bool "Release-master Support" |
17 | depends on ARCH_HAS_SEND_PULL_TIMERS && SMP | 30 | depends on ARCH_HAS_SEND_PULL_TIMERS && SMP |