ARM L4Linux Kernel Panic

Wesley Miaw wesley at
Thu Jan 6 19:24:50 CET 2011

Hi Adam,

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.

Wesley Miaw
wesley at

More information about the l4-hackers mailing list