1 files changed, 5 insertions, 0 deletions
diff --git a/Config.in b/Config.in
index 331219a335..f46781866e 100644
--- a/Config.in
+++ b/Config.in
@@ -235,6 +235,11 @@ menu "Global build settings"
 		bool "Enable process core dump support"
 		default y
 
+	config KERNEL_PROVE_LOCKING
+		bool "Enable kernel lock checking"
+		select KERNEL_DEBUG_KERNEL
+		default n
+
 	comment "Package build options"
 
 	config DEBUG