Genode on Odroid XU4

[Hornemann Steve]

Hey Guys,

I'm really happy opening my first discussion. :D
I take part on a research by using Genode on Odroid_xu4.
Had some problems creating images but I got one for XU3, created as 
"uimage" put on SD-Card.
Now I have several information:
  
https://github.com/genodelabs/genode/issues/991, not understand,yet.
https://sourceforge.net/p/genode/mailman/message/31693682/, think the 
next steps.

And https://en.wikipedia.org/wiki/ODROID in which Genode is declared 
as "NO" in working as OS with XU4. In Wikipedia-Talk I questioned it. 
I hope, somebody can give a clear answer for that. Also I believe, 
Yevgeny made good work, but more I want to know, why he interrupted 
the project.

Well, after connecting this is my first Issue :D,
This is the first statement from XU4 via "gtkterm" connected UART:

U-Boot 2012.07-00036-g4d29c46-dirty (Dec 04 2015 - 15:52:26) for 
Exynos5422
CPU: Exynos5422 Rev0.1 [Samsung SOC on SMP Platform Base on ARM 
CortexA7]
APLL = 800MHz, KPLL = 800MHz
MPLL = 532MHz, BPLL = 825MHz
Board: HardKernel ODROID
DRAM: 2 GiB
WARNING: Caches not enabled
TrustZone Enabled BSP
BL1 version: �/�
�
VDD_KFC: 0x44
LDO19: 0xf2
Checking Boot Mode ... SDMMC
MMC: S5P_MSHC2: 0, S5P_MSHC0: 1
MMC Device 0: 14.8 GiB
MMC Device 1: 29.1 GiB
MMC Device 2: MMC Device 2 not found
there are pending interrupts 0x00000001
*** Warning - bad CRC, using default environment
In: serial
Out: serial
Err: serial
Net: No ethernet found.
Press quickly 'Enter' twice to stop autoboot: 0
Unable to use mmc 0:1 for fatload
Unknown command 'ext4load' - try 'help'
Unknown command 'ext4load' - try 'help'
Load Boot Script from mmc 0:1 <<<
Unable to use mmc 0:1 for fatload
Load Boot Script from mmc 0:2 <<<
Unable to use mmc 0:2 for fatload
Run Default Bootcmd <<<
reading kernel..device 0 Start 1263, Count 16384
MMC read: dev # 0, block # 1263, count 16384 ... 16384 blocks read: OK
completed
reading RFS..device 0 Start 17647, Count 2048
MMC read: dev # 0, block # 17647, count 2048 ... 2048 blocks read: OK
completed
Bad Linux ARM zImage magic!

Sorry for missing information for better understanding the Issue. May 
I can complete them next time.
Thanks for any help!

Steve