aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/Kconfig
diff options
context:
space:
mode:
authorAndrea Bastoni <bastoni@cs.unc.edu>2009-12-17 21:36:40 -0500
committerAndrea Bastoni <bastoni@cs.unc.edu>2010-05-29 17:16:49 -0400
commit269cf3c49cef2b23605e98ad4a8133357bebaac0 (patch)
treedd0d7f3d08f4f00069be8698183b5166e01f5030 /litmus/Kconfig
parent5442a8adfce93c1cd556e04bfc0a118adc3b683e (diff)
[ported from 2008.3] Add FMLP support
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r--litmus/Kconfig15
1 files changed, 13 insertions, 2 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig
index 31cd527c25ef..5556ae5cba45 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -8,8 +8,19 @@ config SRP
8 help 8 help
9 Include support for Baker's Stack Resource Policy. 9 Include support for Baker's Stack Resource Policy.
10 10
11 Say Yes if you want FMLP local long 11 Say Yes if you want FMLP local long critical section
12 critical section synchronization support. 12 synchronization support.
13
14config FMLP
15 bool "FMLP support"
16# depends on NP_SECTION
17 default n
18 help
19 Include support for deterministic multiprocessor real-time
20 synchronization support.
21
22 Say Yes if you want FMLP long critical section
23 synchronization support.
13 24
14endmenu 25endmenu
15 26