1 files changed, 8 insertions, 0 deletions

diff --git a/litmus/Kconfig b/litmus/Kconfig
index 9888589ef126..e00887e672df 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -58,9 +58,17 @@ config SRP
           Say Yes if you want FMLP local long critical section
           synchronization support.
 
+config PI_SEMAPHORES
+        bool "Semaphores with Priority Inheritance"
+        default n
+        help
+          Generalized support for all Litmus priority inheriting semaphore
+          protocols.
+
 config FMLP
         bool "FMLP support"
         depends on NP_SECTION
+        depends on PI_SEMAPHORES
         default n
         help
           Include support for deterministic multiprocessor real-time