-
Make sure not to raise XNSCHED when setting up the root thread, so that we can't start rescheduling from irq_exit_pipeline() before all CPUs have their runqueue fully built. At this chance, add the missing tracepoint reporting a remote scheduling request. Signed-off-by: Philippe Gerum <rpm@xenomai.org> Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
4c39001a