Philippe Gerum wrote:
> Does this help?
> --- arch/ppc/syslib/open_pic.c~       2006-11-17 15:55:24.000000000 +0100
> +++ arch/ppc/syslib/open_pic.c        2007-05-26 11:09:03.000000000 +0200
> @@ -833,7 +833,7 @@
>  {
>  #if defined(__SLOW_VERSION__) || defined(CONFIG_IPIPE)
>       if (!(irq_desc[irq_nr].status & (IRQ_DISABLED|IRQ_INPROGRESS))
> -         && irq_desc[irq_nr].action)
> +         && (!ipipe_root_domain_p || irq_desc[irq_nr].action))
>               openpic_enable_irq(irq_nr);
>  #else
>       if ((irq_desc[irq_nr].status & IRQ_LEVEL) != 0)
>
>   
This does indeed fix the problem. Thanks!

Kind regards,
    Johan Borkhuis


_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help

Reply via email to