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

[Reinier Millo Sánchez]

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"

<<attachment: rmillo.vcf>>_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers