aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r--litmus/Kconfig13
1 files changed, 12 insertions, 1 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig
index 5556ae5cba45..874794f64af1 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -2,6 +2,17 @@ menu "LITMUS^RT"
2 2
3menu "Real-Time Synchronization" 3menu "Real-Time Synchronization"
4 4
5config NP_SECTION
6 bool "Non-preemptive section support"
7 default n
8 help
9 Allow tasks to become non-preemptable.
10 Note that plugins still need to explicitly support non-preemptivity.
11 Currently, only GSN-EDF and PSN-EDF have such support.
12
13 This is required to support the FMLP.
14 If disabled, all tasks will be considered preemptable at all times.
15
5config SRP 16config SRP
6 bool "Stack Resource Policy (SRP)" 17 bool "Stack Resource Policy (SRP)"
7 default n 18 default n
@@ -13,7 +24,7 @@ config SRP
13 24
14config FMLP 25config FMLP
15 bool "FMLP support" 26 bool "FMLP support"
16# depends on NP_SECTION 27 depends on NP_SECTION
17 default n 28 default n
18 help 29 help
19 Include support for deterministic multiprocessor real-time 30 Include support for deterministic multiprocessor real-time