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"