diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Kconfig.debug | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug index 06d3ea1133c..6afe0af0a19 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 |