Problem Launching L4Linux

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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/