Re: Problem Launching L4Linux
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/