diff options
| author | Nicolas Dechesne <nicolas.dechesne@linaro.org> | 2016-05-27 15:52:25 +0200 |
|---|---|---|
| committer | Daniel Thompson <daniel.thompson@linaro.org> | 2017-01-31 16:04:29 +0000 |
| commit | 5394bbd50791007356e9ad7ab2701d5a41ff36a2 (patch) | |
| tree | 83e60c28afb74c0fc2114d12edb3237b34c3a9a3 | |
| parent | b12b05028343058bcb192e7fd77d3b1fb6b2b384 (diff) | |
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>
| -rw-r--r-- | kernel/configs/debug.config | 13 | ||||
| -rw-r--r-- | kernel/configs/distro.config | 2 |
2 files changed, 13 insertions, 2 deletions
diff --git a/kernel/configs/debug.config b/kernel/configs/debug.config new file mode 100644 index 000000000000..451a71bb6bda --- /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 032e3fef8994..e4112b36deb8 100644 --- 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 |