aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern B. Brandenburg <bbb@cs.unc.edu>2008-07-01 09:01:36 -0400
committerBjoern B. Brandenburg <bbb@cs.unc.edu>2008-07-01 09:01:36 -0400
commitc70e2aa039b3f05bd9c520a66dd9af8b405b19b8 (patch)
tree7a90e061991ccc65f15ab658e52205093ebc3760
parentc4b2f8fda287a0e339b451c89dfcddbf28ea3d3d (diff)
Add config options to enable and disable the FMLP.
NP-Flag support appears to be broken at the moment on SPARC64.
-rw-r--r--litmus/Kconfig28
1 files changed, 28 insertions, 0 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig
index 7b329d68bd..0b8e348554 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -1,5 +1,31 @@
1menu "LITMUS^RT" 1menu "LITMUS^RT"
2 2
3config NP_SECTION
4 bool "Non-preemptive section support"
5 depends on !SPARC64
6 default y
7 help
8 Include support for flag-based non-preemptive section signaling
9 from userspace.
10
11 (currently broken on SPARC64)
12
13 Say Yes if in doubt.
14
15
16config FMLP
17 bool "FMLP support"
18 depends on NP_SECTION
19 default y
20 help
21 Include support for deterministic multiprocessor real-time
22 synchronization support.
23
24 Say Yes if in doubt.
25
26
27menu "Tracing"
28
3config SCHED_TASK_TRACE 29config SCHED_TASK_TRACE
4 bool "Trace real-time tasks" 30 bool "Trace real-time tasks"
5 default y 31 default y
@@ -37,3 +63,5 @@ config FEATHER_TRACE
37 63
38 64
39endmenu 65endmenu
66
67endmenu