The following changes since commit be45333e3af13c3b7cb12ecd200cb9be7a8fb439:
x86: ipipe: do not panic on unexpected IRQ trap (2018-09-27 09:09:52 +0200) are available in the Git repository at: https://lab.xenomai.org/ipipe-rpm.git x86/4.14.71 for you to fetch changes up to c5540da918650be520d8f5331ec1944ccfcf6c53: sched/core: ipipe: do not panic on failed migration to the head stage (2018-10-01 15:10:59 +0200) ---------------------------------------------------------------- Philippe Gerum (2): ipipe: timer: prevent double-ack if host timer is not grabbed sched/core: ipipe: do not panic on failed migration to the head stage kernel/ipipe/timer.c | 11 +++++++---- kernel/sched/core.c | 2 -- 2 files changed, 7 insertions(+), 6 deletions(-) -- Philippe. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai