configs: Move CONFIG_PROVE_LOCKING from linaro-base.conf to debug.conf

CONFIG_PROVE_LOCKING is an expensive option which adds significant
overhead to lock operations. The examples are 5% power consumption increase
for vexpress with this option enabled, and improving netperf on the loopback
results by ~200% after disabling DEBUG_MUTEXES (DEBUG_MUTEXES is selected by
PROVE_LOCKING).

Move CONFIG_PROVE_LOCKING to a separate debug.conf fragment, so that it
could be enabled only when it is needed.

Signed-off-by: Andrey Konovalov <andrey.konovalov@linaro.org>

diff --git a/linaro/configs/debug.conf b/linaro/configs/debug.conf
new file mode 100644 (file)
index 0000000..3698056
--- /dev/null
+++ b/linaro/configs/debug.conf
@@ -0,0 +1 @@
+CONFIG_PROVE_LOCKING=y

diff --git a/linaro/configs/linaro-base.conf b/linaro/configs/linaro-base.conf
index 1b4872b4529a977a26a1dac792fd6bd1e47427bf..5c748a75dfe63e38888e4714d1a31f188d63f3ae 100644 (file)
--- a/linaro/configs/linaro-base.conf
+++ b/linaro/configs/linaro-base.conf
@@ -76,7 +76,6 @@ CONFIG_MAGIC_SYSRQ=y
 CONFIG_DEBUG_FS=y
 CONFIG_SCHEDSTATS=y
 CONFIG_TIMER_STATS=y
-CONFIG_PROVE_LOCKING=y
 CONFIG_KEYS=y
 CONFIG_CRYPTO_MICHAEL_MIC=y
 CONFIG_CRC_CCITT=y