From patchwork Wed Oct 9 23:40:27 2013 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Fabio Estevam X-Patchwork-Id: 282090 Return-Path: X-Original-To: incoming-imx@patchwork.ozlabs.org Delivered-To: patchwork-incoming-imx@bilbo.ozlabs.org Received: from casper.infradead.org (casper.infradead.org [IPv6:2001:770:15f::2]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by ozlabs.org (Postfix) with ESMTPS id 168242C00F8 for ; Thu, 10 Oct 2013 10:41:16 +1100 (EST) Received: from merlin.infradead.org ([2001:4978:20e::2]) by casper.infradead.org with esmtps (Exim 4.80.1 #2 (Red Hat Linux)) id 1VU3NM-0002df-MH; Wed, 09 Oct 2013 23:41:08 +0000 Received: from localhost ([::1] helo=merlin.infradead.org) by merlin.infradead.org with esmtp (Exim 4.80.1 #2 (Red Hat Linux)) id 1VU3NJ-0004wS-Sh; Wed, 09 Oct 2013 23:41:05 +0000 Received: from mail-qa0-x22c.google.com ([2607:f8b0:400d:c00::22c]) by merlin.infradead.org with esmtps (Exim 4.80.1 #2 (Red Hat Linux)) id 1VU3NG-0004vS-Ei for linux-arm-kernel@lists.infradead.org; Wed, 09 Oct 2013 23:41:03 +0000 Received: by mail-qa0-f44.google.com with SMTP id cm18so1482128qab.10 for ; Wed, 09 Oct 2013 16:40:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:date:message-id; bh=v/nKGSEqvLorZm5P4eOmnl4rxk6l5+4CF2QGIiowY5A=; b=FIE3X/2Q+RhGMBb2R+HV7+5Ot3e9vqhyV1rIxFri7Aw1ZY/EHlj7Pn33U2pH4esoxU qI/LuaAuAhizc8parFrokUFQOypk28hMpVwFaQMlEPP5jvmkc154waWLhaLCtOagre7o H7sdztNtwk4A47Hq5CnIky1Gb+6UEL00quHq4ZaRMGf1PSWFTTk/82ehI4vjGtvd4qwA ukpAqN3aMCgRP3feXKYAquBszS3ufRGyq7ClC+VjCHCJ0CPiqZwl1SBO7jqVlX/Kq+kb 6rYF+KuiUtdVkp01DDlpxl+OttCtUwJb8B8sijE61tVLsK/YSxANWXRT/XM8eqcNIGK/ YrFw== X-Received: by 10.49.96.225 with SMTP id dv1mr472016qeb.89.1381362037744; Wed, 09 Oct 2013 16:40:37 -0700 (PDT) Received: from localhost.localdomain ([201.82.207.53]) by mx.google.com with ESMTPSA id a21sm65002594yhc.23.1969.12.31.16.00.00 (version=TLSv1.1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 09 Oct 2013 16:40:37 -0700 (PDT) From: Fabio Estevam To: shawn.guo@linaro.org Subject: [PATCH] ARM: imx_v6_v7_defconfig: Select CONFIG_PROVE_LOCKING Date: Wed, 9 Oct 2013 20:40:27 -0300 Message-Id: <1381362027-26076-1-git-send-email-festevam@gmail.com> X-Mailer: git-send-email 1.8.1.2 X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20131009_194102_596389_081BB1B6 X-CRM114-Status: UNSURE ( 9.26 ) X-CRM114-Notice: Please train this message. X-Spam-Score: -2.0 (--) X-Spam-Report: SpamAssassin version 3.3.2 on merlin.infradead.org summary: Content analysis details: (-2.0 points) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (festevam[at]gmail.com) -0.0 SPF_PASS SPF: sender matches SPF record -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from author's domain 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily valid -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature Cc: Fabio Estevam , linux@arm.linux.org.uk, linux-arm-kernel@lists.infradead.org X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.15 Precedence: list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , MIME-Version: 1.0 Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+incoming-imx=patchwork.ozlabs.org@lists.infradead.org List-Id: linux-imx-kernel.lists.patchwork.ozlabs.org From: Fabio Estevam This is very useful for detecting 'circular locking dependency' issues. Signed-off-by: Fabio Estevam --- arch/arm/configs/imx_v6_v7_defconfig | 1 + 1 file changed, 1 insertion(+) diff --git a/arch/arm/configs/imx_v6_v7_defconfig b/arch/arm/configs/imx_v6_v7_defconfig index 137fdb0..e735eb2 100644 --- a/arch/arm/configs/imx_v6_v7_defconfig +++ b/arch/arm/configs/imx_v6_v7_defconfig @@ -263,6 +263,7 @@ CONFIG_NLS_ISO8859_15=m CONFIG_NLS_UTF8=y CONFIG_MAGIC_SYSRQ=y # CONFIG_SCHED_DEBUG is not set +CONFIG_PROVE_LOCKING=y # CONFIG_DEBUG_BUGVERBOSE is not set # CONFIG_FTRACE is not set # CONFIG_ARM_UNWIND is not set