Re: [GIT PULL] scheduler changes for v4.11

From: Peter Zijlstra
Date: Wed Feb 22 2017 - 16:11:53 EST

On Wed, Feb 22, 2017 at 08:51:44PM +0000, Matt Fleming wrote:
> On Wed, 22 Feb, at 12:41:01PM, Linus Torvalds wrote:

> I think Peter has the fix for this somewhere, but it doesn't look like
> it made it to tip/sched/core.
> Peter, this is the original patch,

I have it, send it to Ingo the day he send out the pull requests.