Solution of the previous thread "Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD"

Adam Lackorzynski adam at
Fri Aug 14 00:00:09 CEST 2015

On Thu Aug 13, 2015 at 10:43:33 -0400, Le Guan wrote:
> Hi l4-hackers,
> Greetings! I encountered exactly the same problem as Mahdi's. His original
> thread can be found at
> AS Mahdi and Adam communicated using private email later, I don't know if
> the problem has been solved. If it has been solved, can anybody give me
> some hint on it?

When 'swp' is trapping then it's not enabled in the CPU. You can do so by
enabling it in Fiasco's config.
Alternative: Why is 'swp' used at all on an ARMv7 architecture as the
imx6? Did you compile L4Linux for ARMv7?

Adam                 adam at

More information about the l4-hackers mailing list