diff options
-rw-r--r-- | linaro/configs/debug.conf | 1 | ||||
-rw-r--r-- | linaro/configs/linaro-base.conf | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/linaro/configs/debug.conf b/linaro/configs/debug.conf new file mode 100644 index 000000000000..36980566b2d8 --- /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 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 |