Re: [Xenomai] RaspberryPi kernel 3.8 issue

[Adam Vaughan <vaughana@umich.edu>]

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