From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-2.3 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,USER_AGENT_SANE_1 autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id A5F36C47404 for ; Fri, 11 Oct 2019 10:38:22 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 84E392084C for ; Fri, 11 Oct 2019 10:38:22 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727597AbfJKKiV (ORCPT ); Fri, 11 Oct 2019 06:38:21 -0400 Received: from foss.arm.com ([217.140.110.172]:56024 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726290AbfJKKiV (ORCPT ); Fri, 11 Oct 2019 06:38:21 -0400 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 68AA228; Fri, 11 Oct 2019 03:38:20 -0700 (PDT) Received: from [10.1.196.105] (eglon.cambridge.arm.com [10.1.196.105]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 288213F703; Fri, 11 Oct 2019 03:38:19 -0700 (PDT) Subject: Re: ARM Juno r1 + CONFIG_PROVE_LOCKING=y => boot failure To: Sudeep Holla , Marek Szyprowski Cc: Lorenzo Pieralisi , Catalin Marinas , Liviu Dudau , LKML , Will Deacon , linux-arm-kernel@lists.infradead.org References: <33a83dce-e9f0-7814-923b-763d33e70257@samsung.com> <20191011100521.GA5122@bogus> From: James Morse Message-ID: <7655fb41-cd13-0bc4-e656-040e0875bab8@arm.com> Date: Fri, 11 Oct 2019 11:38:17 +0100 User-Agent: Mozilla/5.0 (X11; Linux aarch64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 In-Reply-To: <20191011100521.GA5122@bogus> Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi guys, On 11/10/2019 11:05, Sudeep Holla wrote: > On Fri, Oct 11, 2019 at 11:26:04AM +0200, Marek Szyprowski wrote: >> Recently I've got access to ARM Juno R1 board and did some tests with >> current mainline kernel on it. I'm a bit surprised that enabling >> CONFIG_PROVE_LOCKING causes a boot failure on this board. After enabling >> this Kconfig option, I get no single message from the kernel, although I >> have earlycon enabled. > I don't have Juno R1 but I tried defconfig + CONFIG_PROVE_LOCKING and > it boots fine. I just tried this on my r1, v5.4-rc1 with this configuration worked just fine. My cmdline is: | root=/dev/sda6 loglevel=9 earlycon=pl011,0x7ff80000 hugepagesz=2M hugepages=512 | crashkernel=1G console=ttyAMA0 resume=/dev/sda2 no_console_suspend efi=debug >> I've did my test with default defconfig and current linux-next, >> v5.4-rc1, v5.3 and v4.19. In all cases the result is the same. I'm >> booting kernel using a precompiled uboot from Linaro release and TFTP >> download. > OK, I use UEFI+GRUB but I don't think that should cause any issue. ... same ... this uboot binary looks like the main difference. Is it using u-boots UEFI support? Is it possible to turn that off? It may that lockdep is just perturbing the size of the binary. It adds an extra 4MB for me. Thanks, James