aboutsummaryrefslogtreecommitdiff
path: root/linaro/configs/linaro-base.conf
diff options
context:
space:
mode:
Diffstat (limited to 'linaro/configs/linaro-base.conf')
-rw-r--r--linaro/configs/linaro-base.conf1
1 files changed, 0 insertions, 1 deletions
diff --git a/linaro/configs/linaro-base.conf b/linaro/configs/linaro-base.conf
index 1b4872b4529..5c748a75dfe 100644
--- 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