aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r--litmus/Kconfig19
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 @@
1menu "LITMUS^RT" 1menu "LITMUS^RT"
2 2
3menu "Real-Time Synchronization"
4
3config NP_SECTION 5config 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
18config 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
16config FMLP 26config 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
36endmenu
26 37
27menu "Tracing" 38menu "Tracing"
28 39