Jan Kiszka wrote:
> As LOCAL_TIMER_VECTOR != RTHAL_APIC_TIMER_VECTOR (Philippe, what was the
> motivation for this?),
In some cases, it's much saner to have two separate timer hw interrupt
sources, so that we may trigger a timer tick targeted at the Linux
kernel only from whatever domain, while gr
As LOCAL_TIMER_VECTOR != RTHAL_APIC_TIMER_VECTOR (Philippe, what was the
motivation for this?), we need to update __ipipe_tick_irq when we
reprogram the APIC. Otherwise, I-pipe will not be able to capture and
forward the related IRQ registers.
At this chance, refactor some references to Xenomai's
