Received: by 2002:a5b:505:0:0:0:0:0 with SMTP id o5csp938115ybp; Fri, 11 Oct 2019 06:44:42 -0700 (PDT) X-Google-Smtp-Source: APXvYqwEvK46LOtEvQHGKGrUKPDkNR7zvEc8LoW9nMFOhwfvIciZIyIcAWn0YbZTGnWEq+Tl501h X-Received: by 2002:a17:906:3e50:: with SMTP id t16mr14023568eji.177.1570801482744; Fri, 11 Oct 2019 06:44:42 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1570801482; cv=none; d=google.com; s=arc-20160816; b=fxCbXRGBVaELdZhhyK4s4l1UG9qjO2XpkpOOqqRlZRxTrLbXkD7pBci+QbZiWJCkB2 mYVOLDwVb8L7MjkFCrGoIrRyQzF8vnY+0PyhiMzxjQtnfXIsrAH1w/2H3R+1IxuIPZQa sPKOnpO1ZG9Yix9pCPgTJ4QKZBHcojjTP5N5UXpQtjde5+i4Txc5piu/ODIeF9t57iyx pwzqhHyMj8DwajXkGhNXhSz35ZNWXxUK50dz48mxjCY5kC6jRMXeoI2VkEbDVrwBuM4K wM8GYn7juMngsXuSW5jEF1wo37PQ7X7Fkl+VE+kPNCmy55ETeoqgusUPP0BUPtlonvD1 HJEA== 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=zF2NyFSlZ2G+WhAyxX0SSg4tF3ppZnd0IuXB6TFOCWI=; b=P03pt2cMDRSq8WYPnQr+UbgPHc6QmspMSxE3p9QraQR5dLxXpJPTGRo/83j9HObisl 7M810mkC6U0KdHrH5oBF0WDf4PbDfAH2WPSobRykCch9+yEKU9bgSvW+U4GJo5izwNRW AE2wQrO/OC9dH+qKSuYtmLqG6a75tnu+dMekKOfRE4WBwQtco0pdFjjKKeaw+1IhljUe Hi4QDUIHwy/Sr+MZn4748jPizkIp5ztG+1mPVQN9EzQCJRvf13Aw9BaJCSryG3O3Veaw g9++VTPsM85Njy1OUUXLiZ22UoJL73nnubd0T30eOCDS4sRIX4eIMv/SLvTrhFw4H9aJ VGkg== 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 q25si6092162edb.159.2019.10.11.06.44.18; Fri, 11 Oct 2019 06:44:42 -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 S1728395AbfJKNoD (ORCPT + 99 others); Fri, 11 Oct 2019 09:44:03 -0400 Received: from foss.arm.com ([217.140.110.172]:60794 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727589AbfJKNoC (ORCPT ); Fri, 11 Oct 2019 09:44:02 -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 0B1A6337; Fri, 11 Oct 2019 06:44:02 -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 C62613F68E; Fri, 11 Oct 2019 06:44:00 -0700 (PDT) Date: Fri, 11 Oct 2019 14:43:54 +0100 From: Sudeep Holla To: Marek Szyprowski Cc: James Morse , Lorenzo Pieralisi , Catalin Marinas , Liviu Dudau , LKML , Will Deacon , Sudeep Holla , linux-arm-kernel@lists.infradead.org Subject: Re: ARM Juno r1 + CONFIG_PROVE_LOCKING=y => boot failure Message-ID: <20191011134354.GA31516@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> <20191011131058.GA26061@bogus> <0b02b15f-38be-7a63-14cc-eabd288782eb@samsung.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <0b02b15f-38be-7a63-14cc-eabd288782eb@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:15:32PM +0200, Marek Szyprowski wrote: > Hi Sudeep > > On 11.10.2019 15:10, Sudeep Holla wrote: > > 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. > > tftp downloads Image.gz to 0x82000000, then decompress it to > $kernel_addr to save transfer time > > my bootcmd is: > > tftp ${fdt_addr} juno/Image.gz; unzip ${fdt_addr} ${kernel_addr}; tftp > ${fdt_addr} juno/juno-r1.dtb; booti ${kernel_addr} - ${fdt_addr}; > Thanks for the info. I got hold of R1 board(not the one James has ;)) and it works fine on that too. Further, with reference to the commit you mentioned make sure defconfig works with that as it's a commit in the middle of merge window. I am using gcc7 and I noticed yours is gcc6 not sure if that makes any difference. Just listing the differences. I will see if I can grab the exact linaro binaries. -- Regards, Sudeep