ARM L4Linux Kernel Panic

Adam Lackorzynski adam at
Thu Jan 6 19:52:27 CET 2011

Hi Wesley,

On Thu Jan 06, 2011 at 10:24:50 -0800, Wesley Miaw wrote:
> I don't know what caused the problem, but I have figured out how to work
> around it. I was compiling with the "Sourcery G++ Lite 2010.09-50" build.
> Your README indicates "Sourcery G++ Lite 2009q3-67" is known to work. I
> downgraded to that version and now L4linux starts up without any errors.

I was just trying with the 2010.09-50 version and now I see it in the
same way as you did. Question remains whether this is a Linux problem or
gcc or something else. I'll try to check again with 2.6.37 and see if
things changed.

Adam                 adam at

More information about the l4-hackers mailing list