It's a separate issue, but I just rebuilt a Xenomai RPi 3.8.13 kernel with the patch at [1], and it now boots with the USB FIQ disabled. It has been a while, but I'm pretty sure it wasn't booting with FIQ disabled before, as detailed in [1]. I am able to run my FIQ code after retargeting the module for the more recent kernel (my stopgap solution was to use 3.5.7).
Gilles, can you include KrfVan's patch at [1] with any modifications you make to the official Xenomai RPi patches to address the issue Gregory pointed out? Also, for what its worth, I also see the same issue Gregory sees in the kernel logs: ... [ 1.167969] hub 1-0:1.0: 1 port detected [ 1.171818] ------------[ cut here ]------------ [ 1.175376] WARNING: at kernel/irq/handle.c:146 handle_irq_event_percpu+0x198/0x1c0() [ 1.179042] irq 75 handler usb_hcd_irq+0x0/0x84 enabled interrupts ... [1] https://github.com/raspberrypi/linux/issues/355 _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
