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