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.

> Jan
> 


-- 
Philippe.

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to