1 files changed, 7 insertions, 0 deletions

diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug
index 06d3ea1133c9..6afe0af0a19b 100644
--- a/lib/Kconfig.debug
+++ b/lib/Kconfig.debug
@@ -120,6 +120,13 @@ config DEBUG_PI_LIST
         default y
         depends on DEBUG_RT_MUTEXES
 
+config RT_MUTEX_TESTER
+        bool "Built-in scriptable tester for rt-mutexes"
+        depends on RT_MUTEXES
+        default n
+        help
+          This option enables a rt-mutex tester.
+
 config DEBUG_SPINLOCK
         bool "Spinlock debugging"
         depends on DEBUG_KERNEL