Re: Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/