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 grabbing the real-time timer
interrupt within the Xenomai domain, without getting any "boomerang"
effect. This is why we grab IPI3 and propagate to the local timer vector.
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 own APIC timer IRQ.
> Merry Christmas and all the best for 2008 to everyone!
Thanks, best wishes for 2008 too.
Xenomai-core mailing list