Snapshot 2013123012 possible broken for ARM9 & l4linux?

Adam Lackorzynski adam at
Thu Jan 16 00:26:28 CET 2014

On Wed Jan 15, 2014 at 16:36:43 +0100, Martin Schröder wrote:
> Hi,
> earlyprintk=1 did not change much, but with showpfexc=2 a few more
> lines are shown

Ok, thanks, that gives better hints. I'll try to look into this asap.

Adam                 adam at

More information about the l4-hackers mailing list