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?
Please try the following patch:
diff --git a/arch/arm/mach-mxs/icoll.c b/arch/arm/mach-mxs/icoll.c
index 905f267..9bc9c21 100644
--- a/arch/arm/mach-mxs/icoll.c
+++ b/arch/arm/mach-mxs/icoll.c
@@ -92,7 +92,7 @@ asmlinkage void __exception_irq_entry icoll_handle_irq(struct
pt_regs *regs)
if (irqnr != 0x7f) {
__raw_writel(irqnr, icoll_base + HW_ICOLL_VECTOR);
irqnr = irq_find_mapping(icoll_domain, irqnr);
- handle_IRQ(irqnr, regs);
+ ipipe_handle_multi_irq(irqnr, regs);
continue;
}
break;
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
