On 07/05/2013 07:34 PM, Marek Vasut wrote: > Dear Gilles Chanteperdrix, > >> On 07/05/2013 03:38 PM, Marek Vasut wrote: >>> Hello, >>> >>> I attempted to use xenomai on i.MX28-based board, but unfortunatelly >>> failed so far. I use mainline Linux 3.8.2 on the board with no >>> additional patches, >>> >>> therefore I did: >>> git clone git://git.xenomai.org/xenomai-2.6.git >>> >>> To retrieve xenomai-2.6/master . Then I went on to patch the Linux kernel >>> source: >>> >>> ./scripts/prepare-kernel.sh --linux=../linux-stable -- >>> ipipe=ksrc/arch/arm/patches/ipipe-core-3.8-arm-1.patch --arch=arm >>> >>> Next I ran "make oldconfig" in the kernel tree. I enabled XENOMAI and >>> left the newly added configuration options at their default values. >>> >>> After compiling the kernel, the kernel does not boot on the board >>> anymore, while the kernel did boot before patching without problems. >>> >>> Can you please give me any pointers or ideas on how to progress ? >> >> Try: >> http://xenomai.org/index.php/I-pipe-core:ArmPorting > > Thanks! The earlyprintk really helped, now I see this output [1] . I suspect > it's something going on with the ipipe since I see icoll crashing. Can you > please help me some more on where to look from now on or how to fix this?
Sorry, the bug is obvious, icoll_handle_irq should not call handle_IRQ, but handle_multi_irq, as explained here: http://xenomai.org/index.php/I-pipe-core:ArmPorting#CONFIG_MULTI_IRQ_HANDLER -- Gilles. _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
