diff options
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r-- | litmus/Kconfig | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index 0b8e348554..9a2ab90dec 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
@@ -1,28 +1,39 @@ | |||
1 | menu "LITMUS^RT" | 1 | menu "LITMUS^RT" |
2 | 2 | ||
3 | menu "Real-Time Synchronization" | ||
4 | |||
3 | config NP_SECTION | 5 | config NP_SECTION |
4 | bool "Non-preemptive section support" | 6 | bool "Non-preemptive section support" |
5 | depends on !SPARC64 | 7 | depends on !SPARC64 |
6 | default y | 8 | default n |
7 | help | 9 | help |
8 | Include support for flag-based non-preemptive section signaling | 10 | Include support for flag-based non-preemptive section signaling |
9 | from userspace. | 11 | from userspace. |
10 | 12 | ||
11 | (currently broken on SPARC64) | 13 | (currently broken on SPARC64) |
12 | 14 | ||
13 | Say Yes if in doubt. | 15 | Say Yes if you want FMLP short critical section synchronization support. |
14 | 16 | ||
15 | 17 | ||
18 | config SRP | ||
19 | bool "Stack Resource Policy (SRP)" | ||
20 | default n | ||
21 | help | ||
22 | Include support for Baker's Stack Resource Policy. | ||
23 | |||
24 | Say Yes if you want FMLP local long critical section synchronization support. | ||
25 | |||
16 | config FMLP | 26 | config FMLP |
17 | bool "FMLP support" | 27 | bool "FMLP support" |
18 | depends on NP_SECTION | 28 | depends on NP_SECTION |
19 | default y | 29 | default n |
20 | help | 30 | help |
21 | Include support for deterministic multiprocessor real-time | 31 | Include support for deterministic multiprocessor real-time |
22 | synchronization support. | 32 | synchronization support. |
23 | 33 | ||
24 | Say Yes if in doubt. | 34 | Say Yes if you want FMLP long critical section synchronization support. |
25 | 35 | ||
36 | endmenu | ||
26 | 37 | ||
27 | menu "Tracing" | 38 | menu "Tracing" |
28 | 39 | ||