[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20171201110315.48d5c984@gandalf.local.home>
Date: Fri, 1 Dec 2017 11:03:15 -0500
From: Steven Rostedt <rostedt@...dmis.org>
To: Sebastian Andrzej Siewior <bigeasy@...utronix.de>
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 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.
-- Steve
Powered by blists - more mailing lists