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;
Date:   Wed, 4 Sep 2019 13:32:47 +0200
From:   Peter Zijlstra <peterz@infradead.org>
To:     Juri Lelli <juri.lelli@redhat.com>
Cc:     Alessio Balsini <balsini@android.com>, mingo@kernel.org,
        linux-kernel@vger.kernel.org, dietmar.eggemann@arm.com,
        luca.abeni@santannapisa.it, bristot@redhat.com, dvyukov@google.com,
        tglx@linutronix.de, vpillai@digitalocean.com, rostedt@goodmis.org
Subject: Re: [RFC][PATCH 00/13] SCHED_DEADLINE server infrastructure
Message-ID: <20190904113247.GF2349@hirez.programming.kicks-ass.net>
References: <20190726145409.947503076@infradead.org>
 <20190903142732.GA35593@google.com>
 <20190904105037.GE5158@localhost.localdomain>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20190904105037.GE5158@localhost.localdomain>
User-Agent: Mutt/1.10.1 (2018-07-13)
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

On Wed, Sep 04, 2019 at 12:50:37PM +0200, Juri Lelli wrote:
> Hi Alessio,
> 
> On 03/09/19 15:27, Alessio Balsini wrote:
> > Hi Peter,
> > 
> > While testing your series (peterz/sched/wip-deadline 7a9e91d3fe951), I ended up
> > in a panic at boot on a x86_64 kvm guest, would you please have a look?  Here
> > attached the backtrace.
> > Happy to test any suggestion that fixes the issue.
> 
> Are you running with latest fix by Peter?
> 
> https://lore.kernel.org/lkml/20190830112437.GD2369@hirez.programming.kicks-ass.net/
> 
> It seems that his wip tree now has d3138279c7f3 on top (and the fix
> above has been merged).
> 
> Not sure it fixes also what you are seeing, though.

He likely is; but it is also very likely I messed it up somehow; I
didn't even boot that branch :/ I'll try and have a look, but I'm
running out of time before LPC.