Hannes Mayer wrote:
It doesn't seem to make a difference if one uses
RTDM_IRQ_NONE or RTDM_IRQ_HANDLED.
With RTDM_IRQ_NONE the IRQ should be passed to linux,
right ? But it doesn't seem to happen - this brought
up the "top" problem I've posted a few days ago.
Returning XN_ISR_PROPAGATE passes the grabbed timer
interrupt to Linux and "top" works again.
Xenomai-core mailing list