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.