On Tue, Dec 17, 2013 at 12:12:04AM +0800, Wei Jin wrote:
Thanks Alex!
I've rebuilt everything using this toolchain but unfortunately it doesn't work too.
Have you succeed booting L4Linux on rpi? Or at least passing this assertion?
I hack on the plain fiasco l4 kernel. I know this assertion because I tried another toolchain at first. This toolchain doesn't work but my classmates successful booting fiasco L4 kernel on rpi (model b) with the Sourcery CodeBench toolchain. Then I switch my toolchain to this one and it worked for me.
- Alex