[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20171201163832.GO1612@linutronix.de>
Date: Fri, 1 Dec 2017 17:38:34 +0100
From: Sebastian Andrzej Siewior <bigeasy@...utronix.de>
To: Steven Rostedt <rostedt@...dmis.org>
Cc: Peter Zijlstra <peterz@...radead.org>,
Ingo Molnar <mingo@...nel.org>, Daniel Wagner <wagi@...om.org>,
linux-rt-users@...r.kernel.org, linux-kernel@...r.kernel.org
Subject: Re: Null pointer 4.14.1-rt3
On 2017-12-01 11:03:15 [-0500], Steven Rostedt wrote:
> On Fri, 1 Dec 2017 13:26:05 +0100
> Sebastian Andrzej Siewior <bigeasy@...utronix.de> 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
Powered by blists - more mailing lists