Problem Launching L4Linux

Adam Lackorzynski adam at
Thu Feb 12 00:05:12 CET 2015

On Wed Feb 11, 2015 at 00:17:33 +0100, Piweli wrote:
> Le 11/02/2015 00:12, Adam Lackorzynski a écrit :
> >Ok. Is that Qemu or real hardware? If real hardware, tried switching off
> It's QEMU

Ok, with zynq as the platform. Could you try some of the more standard
platforms, such as vexpress-a9 for example and check whether those work?

Adam                 adam at

More information about the l4-hackers mailing list