Re: Null pointer 4.14.1-rt3
From: Steven Rostedt
Date: Fri Dec 01 2017 - 11:03:24 EST
On Fri, 1 Dec 2017 13:26:05 +0100
Sebastian Andrzej Siewior <bigeasy@xxxxxxxxxxxxx> 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.
-- Steve