configs: move DEBUG configs in their own config file

* remove DEBUG options from distro.config and defconfig since some of them had
  some drastic impact on system performance
* add debug.config which can be convenient to build a debug flavor of the
  kernel:
  make defconfig distro.config debug.config

Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>

diff --git a/arch/arm64/configs/defconfig b/arch/arm64/configs/defconfig
index 9eb4230f513e86d0042e6de5310ab880ef85b11d..bf6f5170e712880d416c672f55a54b2b0d0cd136 100644 (file)
--- a/arch/arm64/configs/defconfig
+++ b/arch/arm64/configs/defconfig
@@ -23,6 +23,7 @@ CONFIG_CGROUP_HUGETLB=y
 # CONFIG_NET_NS is not set
 CONFIG_SCHED_AUTOGROUP=y
 CONFIG_BLK_DEV_INITRD=y
+CONFIG_KALLSYMS_ALL=y
 # CONFIG_COMPAT_BRK is not set
 CONFIG_PROFILING=y
 CONFIG_JUMP_LABEL=y
@@ -212,9 +213,6 @@ CONFIG_USB_TEST=m
 CONFIG_USB_HSIC_USB3503=y
 CONFIG_USB_MSM_OTG=y
 CONFIG_USB_GADGET=y
-CONFIG_USB_GADGET_DEBUG=y
-CONFIG_USB_GADGET_VERBOSE=y
-CONFIG_USB_GADGET_DEBUG_FILES=y
 CONFIG_USB_GADGET_VBUS_DRAW=500
 CONFIG_USB_CONFIGFS=m
 CONFIG_USB_ZERO=m
@@ -292,7 +290,6 @@ CONFIG_LOCKUP_DETECTOR=y
 # CONFIG_DETECT_HUNG_TASK is not set
 # CONFIG_SCHED_DEBUG is not set
 # CONFIG_DEBUG_PREEMPT is not set
-CONFIG_PROVE_LOCKING=y
 # CONFIG_FTRACE is not set
 CONFIG_MEMTEST=y
 CONFIG_CORESIGHT=y

diff --git a/kernel/configs/debug.config b/kernel/configs/debug.config
new file mode 100644 (file)
index 0000000..451a71b
--- /dev/null
+++ b/kernel/configs/debug.config
@@ -0,0 +1,13 @@
+CONFIG_DEBUG_MUTEXES=y
+CONFIG_DEBUG_SPINLOCK=y
+CONFIG_DEBUG_ATOMIC_SLEEP=y
+CONFIG_DEBUG_PAGEALLOC=y
+CONFIG_DEBUG_LOCK_ALLOC=y
+CONFIG_PROVE_LOCKING=y
+CONFIG_PROVE_RCU=y
+CONFIG_SLUB_DEBUG=y
+CONFIG_SLUB_DEBUG_ON=y
+CONFIG_KASAN=y
+CONFIG_DEBUG_SPINLOCK=y
+CONFIG_USB_GADGET_DEBUG=y
+CONFIG_USB_GADGET_DEBUG_FILES=y

diff --git a/kernel/configs/distro.config b/kernel/configs/distro.config
index 032e3fef8994d903ece36be5b3a56a492358df3c..e4112b36deb8defb3ea7ea1c52a022fdfa38bd7a 100644 (file)
--- a/kernel/configs/distro.config
+++ b/kernel/configs/distro.config
@@ -111,7 +111,6 @@ CONFIG_USB_SERIAL_QT2=m
 
 # USB gadget
 CONFIG_USB_GADGET=y
-CONFIG_USB_GADGET_DEBUG_FILES=y
 CONFIG_USB_GADGET_VBUS_DRAW=500
 CONFIG_USB_CONFIGFS=m
 CONFIG_USB_ZERO=m
@@ -210,7 +209,6 @@ CONFIG_CPU_FREQ_GOV_CONSERVATIVE=y
 CONFIG_PRINTK_TIME=y
 CONFIG_STACKTRACE=y
 CONFIG_MMC_BLOCK_MINORS=32
-CONFIG_PROVE_LOCKING=y
 CONFIG_GPIO_SYSFS=y
 CONFIG_SND_USB=y
 CONFIG_SND_USB_AUDIO=y