Re: [PATCH 4/2] sched/cpupri: Add CPUPRI_HIGHER
From: Dietmar Eggemann
Date: Tue Oct 20 2020 - 11:39:36 EST
On 20/10/2020 09:37, Peter Zijlstra wrote:
> On Mon, Oct 19, 2020 at 04:15:01PM +0200, Dietmar Eggemann wrote:
>> On 14/10/2020 21:54, Peter Zijlstra wrote:
[...]
> Maybe I've not had enough wake-up juice, but I can't seem to locate
> this.
Sorry, I was commenting on my own debug code ;-)