Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD

Matthias Lange matthias.lange at kernkonzept.com
Thu May 28 08:23:38 CEST 2015


Hi,

On 05/27/2015 06:43 PM, Mahdi Aichouch wrote:
> Hello,
> 
> I tried to run L4Linux + Fiasco on a Freescale i.mx <http://i.mx> 6
> Sabre SD board.
> 
> The L4Linux is started but it stops at loading the ramdisk, as shown in
> the debug messages below.
> 
> Does someone has an idea of what might be wrong.
> 
> Thank you very much in advance.
> 
> Best regards,
> 
> Mahdi
> 

[...]

> l4linux | l4x_register_pointer_section: addr = 02000000 size = 4059136
> l4linux |            text: Virt: 0x2000000 to 0x23defa7 [3963 KiB]
> l4linux |            text: Phys: 0x1025a000 to 0x10638fa7, [3963 KiB]
> l4linux | Loading: rom/ramdisk-arm.rd
> l4linux | INITRD: Size of RAMdisk is 3072KiB
> l4linux | RAMdisk from 00002000 to 00302000 [3072KiB]
> l4linux | 'swp(b)' instruction at 0224f728 and faulting.

Have you enabled CONFIG_ARM_ENABLE_SWP in your Fiasco config?

Matthias.


-- 
Matthias Lange, matthias.lange at kernkonzept.com, +49 - 351 - 41 88 86 14

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth




More information about the l4-hackers mailing list