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

[Adam Lackorzynski]

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
> http://os.inf.tu-dresden.de/pipermail/l4-hackers/2015/007491.html.
> 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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/