Hello, trying to port a running Xenomai 3.1.x/Linux 4.4.x system to Xenomai 3.2.x/Linux 4.4.x running on Zynq7000, I found a (maybe) bug in intr.c
In xnintr_attach, the call to ipipe_set_irq_affinity (when in SMP) expects a 0 return code. However, on my platform, I end up in irq_gic.c in gic_set_affinity() which returns IRQ_SET_MASK_OK_DONE (2) when everything is fine. This IRQ_SET_MASK_OK_DONE does not seem very common in the kernel (I could find a few occurences, on Gic v3 so maybe AARCH64 has the same problem, plus some PCI devices). I was wondering if this was something to fix in ipipe or xenomai ? François
