On Mon, 4 Dec 2017 08:45:17 +0100 Juri Lelli <juri.lelli@xxxxxxxxxx> wrote: > Right. I was wondering however if for the truly UP case we shouldn't be > initiating/queueing callbacks (pull/push) at all? If !CONFIG_SMP then it's not compiled in. The issue came up when Daniel ran a CONFIG_SMP kernel on an arch that only supports UP. > > DEADLINE doesn't use (yet?) the PUSH_IPI, but we will need a similar > patch to keep logics aligned. Maybe. -- Steve -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html