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.


Regards, Paul.


[1] www.raspberrypi.org
[2] git://git.denx.de/ipipe.git
[3] www.raspberrypi.org/phpBB3/viewtopic.php?f=41&t=12368


-------------- next part --------------
A non-text attachment was scrubbed...
Name: raspberry-pi.bz2
Type: application/x-bzip2
Size: 458222 bytes
Desc: not available
URL: 
<http://www.xenomai.org/pipermail/xenomai/attachments/20130214/bb9244d7/attachment.bin>
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai

Reply via email to