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 @@
 menu "LITMUS^RT"
 
+config NP_SECTION
+        bool "Non-preemptive section support"
+        depends on !SPARC64
+        default y
+        help
+          Include support for flag-based non-preemptive section signaling
+          from userspace.
+
+          (currently broken on SPARC64)
+
+          Say Yes if in doubt.
+
+
+config FMLP
+        bool "FMLP support"
+        depends on NP_SECTION
+        default y
+        help
+          Include support for deterministic multiprocessor real-time
+          synchronization support.
+
+          Say Yes if in doubt.
+
+
+menu "Tracing"
+
 config SCHED_TASK_TRACE
         bool "Trace real-time tasks"
         default y
@@ -37,3 +63,5 @@ config FEATHER_TRACE
 
 
 endmenu
+
+endmenu