On 2017-12-01 11:03:15 [-0500], Steven Rostedt wrote: > On Fri, 1 Dec 2017 13:26:05 +0100 > Sebastian Andrzej Siewior <[email protected]> wrote: > > > - disable RT_PUSH_IPI if booted on UP. After all there is not much > > benefit here, is there? > > This is what I would suggest. Maybe I'll look at adding a patch.
Please tag it stable because the patch made it into v4.14.3. > -- Steve Sebastian
