On Sat May 02, 2015 at 15:12:24 -0400, Reinier Millo Sánchez wrote: > FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, > p: dbl/sngl > > KERNEL: Warning: No page-fault handler for 0xee202214, error > 0x94000848, pc f0039420 > > Somebody have tested Fiasco.OC+L4re on ODROID-X2 or another Exynos 4412 > platform?
On this platform this seems to be some pattern. However, last time I tried it worked for me. So, hmm, could you try another compiler version and see if it changes behavior? Maybe this gives us some hints. Adam -- Adam a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers