diff options
Diffstat (limited to 'linaro/configs/linaro-base.conf')
-rw-r--r-- | linaro/configs/linaro-base.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/linaro/configs/linaro-base.conf b/linaro/configs/linaro-base.conf index 1b4872b4529a..5c748a75dfe6 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 |