config: Add kernel mutex and spinlock debugging

This activates some additional checks for mutexes and spinlocks in the
kernel.

Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>

diff --git a/config/Config-kernel.in b/config/Config-kernel.in
index 21e5b98f3ff607fcf783c705f4803a18bcc84ae2..11344aec4270c33115e157a543e695296ba02758 100644 (file)
--- a/config/Config-kernel.in
+++ b/config/Config-kernel.in
@@ -199,6 +199,22 @@ config KERNEL_DEBUG_GPIO
        bool "Compile the kernel with gpio debugging"
        select KERNEL_DEBUG_KERNEL
 
+config KERNEL_DEBUG_SPINLOCK
+       bool "Compile the kernel with spinlock and rw-lock debugging"
+       depends on KERNEL_DEBUG_KERNEL
+       help
+         Say Y here and build SMP to catch missing spinlock initialization
+         and certain other kinds of spinlock errors commonly made.  This is
+         best used in conjunction with the NMI watchdog so that spinlock
+         deadlocks are also debuggable.
+
+config KERNEL_DEBUG_MUTEXES
+       bool "Compile the kernel with mutex debugging"
+       depends on KERNEL_DEBUG_KERNEL
+       help
+         This feature allows mutex semantics violations to be detected and
+         reported.
+
 config KERNEL_COREDUMP
        bool