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 12:50:37 +0200
From:   Juri Lelli <juri.lelli@redhat.com>
To:     Alessio Balsini <balsini@android.com>
Cc:     Peter Zijlstra <peterz@infradead.org>, 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: <20190904105037.GE5158@localhost.localdomain>
References: <20190726145409.947503076@infradead.org>
 <20190903142732.GA35593@google.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20190903142732.GA35593@google.com>
User-Agent: Mutt/1.11.3 (2019-02-01)
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

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.

Thanks,

Juri