diff options
author | Andrea Bastoni <bastoni@cs.unc.edu> | 2009-12-17 21:36:40 -0500 |
---|---|---|
committer | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-05-29 17:16:49 -0400 |
commit | 269cf3c49cef2b23605e98ad4a8133357bebaac0 (patch) | |
tree | dd0d7f3d08f4f00069be8698183b5166e01f5030 /litmus/Kconfig | |
parent | 5442a8adfce93c1cd556e04bfc0a118adc3b683e (diff) |
[ported from 2008.3] Add FMLP support
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r-- | litmus/Kconfig | 15 |
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 | |||
14 | config 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 | ||
14 | endmenu | 25 | endmenu |
15 | 26 | ||