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"

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150502/59883538/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rmillo.vcf
Type: text/x-vcard
Size: 515 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150502/59883538/attachment.vcf>