1 files changed, 16 insertions, 0 deletions

diff --git a/litmus/Kconfig b/litmus/Kconfig
index e00887e672df..9549afbb5591 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -77,6 +77,22 @@ config FMLP
           Say Yes if you want FMLP long critical section
           synchronization support.
 
+config OMLP
+        bool "OMLP support"
+        depends on FMLP
+        default n
+        help
+          Include support for enhanced deterministic multiprocessor
+          real-time synchronization support.  In contrast to FMLP, which
+          is O(n), OMLP is O(m), where n is the number of tasks sharing a
+          resource and m is the number of processors.  OMLP always
+          lower-bounds FMLP-Long.
+
+          ONLY G-EDF CURRENTLY SUPPORTED!
+
+          Say Yes if you want OMLP critical section synchronization
+          support.
+
 endmenu
 
 menu "Tracing"