Hi, On Sun, Dec 15, 2013 at 11:59:56PM +0800, Wei Jin wrote: > Hi all, > > I'm trying to get L4Linux running on my raspberry pi(model B) but there is > something wrong that I couldn't figure out. > > The error message is: > > Assertion failed: 'Fpu::fpu.current().owner() == current()' [ret=0xf0013544]
I got this assertion also but I don't know why. Another toolchain helped, try toolchain [1]. - Alex [1] https://sourcery.mentor.com/GNUToolchain/release2450 _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
