Hello,

Linux'es enable/disable_irq() should not be called from the primary domain.

In short, they use a normal linux spinlock + irq are off only for the Linux domain;
the precise description is available here : https://mail.gna.org/public/xenomai-core/2006-02/msg00213.html


--
Best regards,
Dmitry Adamushko

Attachment: arm-hal.c.patch
Description: Binary data

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to