On 02/28/2014 02:12 AM, Paul wrote:
> On Thursday 27 February 2014, Gilles Chanteperdrix wrote:
>> I am looking at the "post" patch for Raspberry, and I do not see that
>> it touches drivers/irqchip/irq-bcm2835.c
>>
>> Here the calls to handle_IRQ are not replaced with ipipe calls, this
>> can not work.
>
> It is somewhat confusing that there are two sets of code for the
> Raspberry Pi chip. bcm2708* is the original code as used by
> the "official" RPi kernel and is found in the
> github.com/raspberrypi/linux tree.
>
> For the mainline kernel, for various reasons, it was decided that the
> bcm2835 prefix would be used for the RPi SoC - Having two sets of
> sources for one SoC can be somewhat confusing.
>
> drivers/irqchip/irq-bcm2835.c doesn't get compiled for the Raspberry Pi
> kernel - Instead, one should look at arch/arm/mach-bcm2708/armctrl.c
Ok, thanks.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
