Received: by 2002:a5b:505:0:0:0:0:0 with SMTP id o5csp900232ybp; Fri, 11 Oct 2019 06:13:16 -0700 (PDT) X-Google-Smtp-Source: APXvYqyO5euBRXgY7eXZRM18Oarm9xmvvs66S2EDy+hlwsdxXgweaDSCPraLB190Sx6a3qehtcE9 X-Received: by 2002:a50:c2c2:: with SMTP id u2mr13669387edf.133.1570799596461; Fri, 11 Oct 2019 06:13:16 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1570799596; cv=none; d=google.com; s=arc-20160816; b=we44Yc9XPjn9HmX2YCPMcdGh0iSMIAOgiTn/PGIvkvqWXn6cIwgb6LAKQTS78tCwre i+Hdacz3UGEnYSHvJipAGGrDWEcz0jfpUTaZyA2H98Q1WrKSUnleEfY36Nj5iPNWqDhJ ZN25x7gmE7xikWxxkkXjP8fpWIx7UOB7OZ98IdYll+032JDmqm7bWeVlBt4yxHiAd63Z Hw2Jr/cklVXq+dOiIbiPcLNfqOrbkFFaI9fz732Q7BYEbKy51rP70B6QPyki0y25DpcQ 1NFQlfrvEZe4X3n1AWOKKFqwHlHR1+nf+buIom0GlgSappQCoZqMG9QmbeC+amQFJyUW KLRw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date; bh=JskvRFmRAftDxo5Nh3FxTxgiM1Nk5nXO/3x0yNOThss=; b=TovdIyY1PbhDydph0KS46LKEGAEZv0mL3ZyWA7+1DVOIqJq4gbyOrlclbuGeGN8hRV dn9eQ9d5S9/A3fXwvkiqPOKR4u2RuxdcK90CYKpfveG1NsgOifn7sTTtv8J/uHOJtdSr F0DhebNx3N+j+eGc32DUFn94Mx9Z6xSrnrrFyiYtFS0LzEwx/XKLpFXKZ4s2oeM8Wng3 /Uo305F358uY8iASQMR95GOW914bFy80z4dgpc3ePVQRvoSBoHGczPLUGs89dJn7C23+ PTuTDLYWP4B1BdLRMPmcKcySR+LeIT+sIT8PgRAywbllUyk6WwinvCVPBKGq2rR2NPCY J+AQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id x9si5332547eju.147.2019.10.11.06.12.52; Fri, 11 Oct 2019 06:13:16 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728265AbfJKNLG (ORCPT + 99 others); Fri, 11 Oct 2019 09:11:06 -0400 Received: from foss.arm.com ([217.140.110.172]:59988 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728002AbfJKNLG (ORCPT ); Fri, 11 Oct 2019 09:11:06 -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 7DF4E28; Fri, 11 Oct 2019 06:11:05 -0700 (PDT) Received: from bogus (e107155-lin.cambridge.arm.com [10.1.196.42]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 5F2A93F6C4; Fri, 11 Oct 2019 06:11:04 -0700 (PDT) Date: Fri, 11 Oct 2019 14:10:58 +0100 From: Sudeep Holla To: Marek Szyprowski Cc: James Morse , Lorenzo Pieralisi , Catalin Marinas , Liviu Dudau , LKML , Will Deacon , linux-arm-kernel@lists.infradead.org Subject: Re: ARM Juno r1 + CONFIG_PROVE_LOCKING=y => boot failure Message-ID: <20191011131058.GA26061@bogus> References: <33a83dce-e9f0-7814-923b-763d33e70257@samsung.com> <20191011100521.GA5122@bogus> <7655fb41-cd13-0bc4-e656-040e0875bab8@arm.com> <2bf88cd2-9c4f-11dc-4b70-f717de891cff@samsung.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <2bf88cd2-9c4f-11dc-4b70-f717de891cff@samsung.com> User-Agent: Mutt/1.9.4 (2018-02-28) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, Oct 11, 2019 at 03:02:42PM +0200, Marek Szyprowski wrote: > Hi James, > > On 11.10.2019 12:38, James Morse wrote: > > 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 > > > That is a bit strange. Here is a boot log from v5.4-rc1 with pure > defconfig: https://paste.debian.net/1105851/ > I see from the boot log that both Image.gz and dtb being loaded at the same address 0x82000000, will u-boot uncompress it elsewhere after loading it ? Just for my understanding. -- Regards, Sudeep