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
