aboutsummaryrefslogtreecommitdiffstats
path: root/Config.in
diff options
context:
space:
mode:
Diffstat (limited to 'Config.in')
-rw-r--r--Config.in5
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