From mboxrd@z Thu Jan 1 00:00:00 1970 References: <530A8767.4030004@xenomai.org> <530BC103.3010809@xenomai.org> <530CFB0D.8040001@xenomai.org> <530CFC27.5050700@xenomai.org> <530D0205.9050406@xenomai.org> <530D0BBD.6070704@xenomai.org> <530D365F.5010606@xenomai.org> From: Adam Vaughan In-Reply-To: Mime-Version: 1.0 (iPad Mail 8J3) Date: Wed, 26 Feb 2014 13:48:15 -0500 Message-ID: <-8891387949839254149@unknownmsgid> Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Xenomai] RaspberryPi kernel 3.8 issue List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Gregory Dymarek Cc: "xenomai@xenomai.org" > 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.