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 > See: > http://www.xenomai.org/index.php/I-pipe-core:ArmPorting#Interrupt_con >troller Regards, Paul. _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
