> I will have a look later on. However this makes me question, why to spend > time fixing old kernel if there are already ipipe patches for 3.10. > Shouldn't we try to do this for the more recent kernel 3.10 so this can be > eventually incorporated into Xenomai? or this not that straight forward?
Using a recent 3.10 version would be the most ideal solution as it ostensibly includes fixes for heavy SD card access issues I was seeing, the USB FIQ disable fix, and any other mainline issues people were seeing since the 3.8 branch isn't really being maintained by the Raspberry Pi foundation. I believe it would need the patch that Gilles and you figured out a few emails back. The only problem is that I've never made a patch of that magnitude. That said, I imagine it'd be similar to the 3.8 one that Paul made. _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
