ARM L4Linux Kernel Panic

[Wesley Miaw]

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.

Thanks,
-- 
Wesley Miaw
wesley at wesman.net