Re: [Xenomai] Xenomai, Raspberry Pi, 3.5.7 kernel

[Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>]

On 02/14/2013 01:27 PM, Paul wrote:

> 
> Attached, a patch set aimed at providing support for the Broadcom 
> BCM2835 SoC as used in the Raspberry Pi[1].
> 
> The first patch assumes that the core-ipipe-3.5.7-arm patch has already 
> been applied or the sources have been pulled from the ipipe git 
> repository[2]. Most of the changes have been pulled from the 3.6.11 
> kernel sources maintained by the Rasbperry team and adds a number of 
> drivers needed by the BCM2835 chip. Low level changes to the timer 
> support have been made courtesy of ian-cim and his preliminary 3.2.21 
> patch[3]
> 
> Patch number 2 silences a trivial compile time warning and can be 
> skipped..
> Patch number three adds a minimal default config (bcmrpi_defconfig) that 
> can be used as a basis for compiling a Xenomai enabled kernel. This 
> patch can also be skipped if a defconfig is not required.
> 
> Patch number four makes some changes to the way GPIO interrupts are 
> handled - Interrupt latencies are considerably improved (typically in 
> the 15-30uS range).
> 
> Work is being undertaken by the Raspberry team to get support built in 
> to the mainline kernel - I believe the window has been missed for 
> 3.8.x, so fingers are crossed for 3.10.x.


In the meantime, we can put it in a raspberry subdirectory in Xenomai
sources. Would you mind making a single patch? Or do you prefer the
patches to be kept separated?

-- 
                                                                Gilles.