Testing Fiasco.OC+L4re on ODROID-X2(Exynos4412)

Hi comunity
I'm trying to test the hello application on the ODROID-X2(Exynos4412) 
board. I'm using the Fiasco.OC+L4re snapshot(l4re-snapshot-2014092821).
I have configured and compiled Fiasco.OC with support to Samsung Exynos4412:

    export SYSTEM_TARGET=arm-linux-gnueabihf-
    make BUILDDIR=build-foc
    make menuconfig
    make -j16

After that, I have compiled the entire L4re for armv7a (SamsungExynos4)

    make B=build-l4re
    make O=build-l4re ARCH=arm SYSTEM_TARGET=arm-linux-gnueabihf- menuconfig
    make O=build-l4re ARCH=arm SYSTEM_TARGET=arm-linux-gnueabihf- -j16

To generate the raw image have modified the conf/Makeconf.boot to set 
the Fiasco.OC build path and executed:

    make O=build-l4re ARCH=arm SYSTEM_TARGET=arm-linux-gnueabihf-
    rawimage E=hello

I have copied the generated image into the SD card and tried to boot  
from u-boot:

    fatload mmc 0:1 0x41000000 hello.raw
    bootm 0x41000000

The system starts but stops execution. This is the serial output:

    Partition1: Start Address(0xc00), Size(0x40400)

    reading hello.raw

    942080 bytes read

    Boot with zImage

    Starting kernel ...


    Hello from Startup::stage2

    Per_cpu_data_alloc: (orig: 0xf0063a50-0xf00644d0)

    Number of IRQs available at this GIC: 160

    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?
Best regards

-- 
Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas
Carretera a Camajuaní Km 5 1/2
Santa Clara, Villa Clara, Cuba
CP 54830

"antes de discutir ... respira;
   antes de hablar ... escucha;
  antes de escribir ... piensa;
   antes de herir ... siente;
  antes de rendirte ... intenta;
   antes de morir ... vive"

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

begin:vcard
fn;quoted-printable:Reinier Millo S=C3=A1nchez
n;quoted-printable:Millo S=C3=A1nchez;Reinier
org;quoted-printable:Universidad Central "Marta Abreu" de Las Villas;Centro de Estudios de Inform=C3=A1tica
adr;quoted-printable:;;Carretera a Camajuan=C3=AD Km 5 1/2;Santa Clara;Villa Clara;54830;Cuba
email;internet:[email protected]
title;quoted-printable:Lic. en Ciencia de la Computaci=C3=B3n
tel;work:(0142)-226714
tel;home:(0143)-523119
x-mozilla-html:TRUE
url:http://www.uclv.edu.cu
version:2.1
end:vcard