Make release master support optional

Introduces CONFIG_RELEASE_MASTER and makes release
master support dependent on the new symbol. This is
useful because dedicated interrupt handling only applies
to "large" multicore platforms. This will allow us to
not implement smp_send_pull_timers() for all platforms.

1 files changed, 11 insertions, 1 deletions

diff --git a/litmus/Kconfig b/litmus/Kconfig
index cc49e1a7f9c7..614e1051fa49 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -1,6 +1,6 @@
 menu "LITMUS^RT"
 
-menu "Plugins"
+menu "Scheduling"
 
 config PLUGIN_CEDF
         bool "Clustered-EDF"
@@ -11,6 +11,16 @@ config PLUGIN_CEDF
           On smaller platforms (e.g., ARM PB11MPCore), using C-EDF
           makes little sense since there aren't any shared caches.
 
+config RELEASE_MASTER
+        bool "Release-master Support"
+        default n
+        help
+           Allow one processor to act as a dedicated interrupt processor
+           that services all timer interrupts, but that does not schedule
+           real-time tasks. See RTSS'09 paper for details
+           (http://www.cs.unc.edu/~anderson/papers.html).
+           Currently only supported by GSN-EDF.
+
 endmenu
 
 menu "Real-Time Synchronization"