diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-05-30 18:59:30 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-05-30 20:43:27 -0400 |
| commit | 5b54b24c13b7c5dbaa06eae5e1a0075da354289c (patch) | |
| tree | 6d871120ce501f936e26e6494c44ca26545b29f7 /litmus/Kconfig | |
| parent | 152968b15afb74a6adba6d512c5eebf0280c8f00 (diff) | |
Make compilation of C-EDF optional.
C-EDF only makes sense on multicore platforms that have shared caches.
Make it possible to disable it on other platforms, in particular,
on those that do not export get_shared_cpu_map().
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 874794f64af1..cc49e1a7f9c7 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
| @@ -1,5 +1,18 @@ | |||
| 1 | menu "LITMUS^RT" | 1 | menu "LITMUS^RT" |
| 2 | 2 | ||
| 3 | menu "Plugins" | ||
| 4 | |||
| 5 | config PLUGIN_CEDF | ||
| 6 | bool "Clustered-EDF" | ||
| 7 | default y | ||
| 8 | help | ||
| 9 | Include the Clustered EDF (C-EDF) plugin in the kernel. | ||
| 10 | This is appropriate for large platforms with shared caches. | ||
| 11 | On smaller platforms (e.g., ARM PB11MPCore), using C-EDF | ||
| 12 | makes little sense since there aren't any shared caches. | ||
| 13 | |||
| 14 | endmenu | ||
| 15 | |||
| 3 | menu "Real-Time Synchronization" | 16 | menu "Real-Time Synchronization" |
| 4 | 17 | ||
| 5 | config NP_SECTION | 18 | config NP_SECTION |