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, [email protected], +49 - 351 - 41 88 86 14 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
