Jens Köhler wrote:
> Yes, CONFIG_PREEMPT is set. We will try in first step what happens when it's
> not set.

I am sorry to insist, but IMO, you should try disabling CONFIG_XENOMAI
and CONFIG_IPIPE in the kernel configuration, in order to be sure that
these options are causing what you are seeing.

-- 
                                                                Gilles.


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

Reply via email to