Hello, I just wanted to give a quick update on the xeno_can_mem issues. It appears for the Zynq UltraScale+ MPSoC that in order to register IRQs for use by Xenomai Drivers you first need to create a "generic-uio" entry in the device tree pointing to the device's PL (programmable logic) interrupt. This will reserve the IRQ in Linux based on the mapping from whatever interrupt controller is being used. At that point you can then modprobe the Xenomai driver. I was receiving faults trying to directly register the interrupt line (#121 for example).
Best, Josh Karch
