X-Git-Url: https://git.enpas.org/?a=blobdiff_plain;f=Config.in;h=f46781866e1267045329a7b5ff7b21b1e28772cd;hb=f42393b3c61487ce0ac9c6571c46ffa0d728f543;hp=4fc0d1a55f887ebe97b83baed2aec5304848687b;hpb=444bd443905edd99ee84435bbbb0deebd17331bd;p=openwrt.git

diff --git a/Config.in b/Config.in
index 4fc0d1a55f..f46781866e 100644
--- a/Config.in
+++ b/Config.in
@@ -231,6 +231,15 @@ menu "Global build settings"
 		bool "Compile the kernel with SysRq support"
 		default n
 
+	config KERNEL_ELF_CORE
+		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