On 09/26/2012 03:16 PM, Wolfgang Mauerer wrote: > If a CPU that is not supported by ipipe, but used by Linux > shares an IRQ with a timer utilised by ipipe, it must be > possible to forward IRQs received on behalf of the Linux CPU. > Based on a patch by Gilles Chanteperdrix. > > Signed-off-by: Wolfgang Mauerer <wolfgang.maue...@siemens.com>
That is much better than the original patch, you are even allowing to have a mixed HPET/LAPIC timers configuration on x86. I guess you can now suppress the test hpet_msi_capability_lookup and register an ipipe_timer for each HPET timer unconditionally. Regards. -- Gilles. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org http://www.xenomai.org/mailman/listinfo/xenomai