Hi,

I'm trying to port sel4 into ODROID-XU4 by following the wiki (https://wiki.sel4.systems/Hardware/odriod-XU).

So far I can successfully enable HYP mode as indicated by

[    0.198398] [c0] CPU: All CPU(s) started in HYP mode.
[    0.198433] [c0] CPU: Virtualization extensions available. 

as well as generate sel4test-driver-image-arm-exynos5 image.

However, we cant do fastboot in XU4 since it doesnt have usb otg.
Thus, I followed booting from sd card from https://wiki.sel4.systems/Hardware/General-ARM and copied the image into the first partition of sd card and do the following:

Exynos5422 # fatload mmc 0 0x48000000 sel4test-driver-image-arm-exynos5
Exynos5422 # bootelf 0x48000000

and here's the output:

## Starting application at 0x41000000 ...

ELF-loader started on CPU: ARM Ltd. Cortex-A7 r0p3

Switching CPU...

ELF-loader started on CPU: ARM Ltd. Cortex-A15 r2p3
  paddr=[41000000..4126401f]
ELF-loading image 'kernel'
  paddr=[40000000..4002dfff]
  vaddr=[e0000000..e002dfff]
  virt_entry=e0000000
ELF-loading image 'sel4test-driver'
  paddr=[4002e000..40388fff]
  vaddr=[8000..362fff]
  virt_entry=13868
Enabling hypervisor MMU and paging
Enabling MMU and paging
Jumping to kernel-image entry point...

�⧹I�AIq9Fy6        1)�a&I99)�6�  Yq��摦P�^б��F��^/A�yyyyyyyyy�Y    �)aay���XY�ǡyQ)�q��O�a@     Ia)!Fyaay   �)��XY��������.6I�)&FvF�6fF�����VƑ�y��P�)aay���XY�ǡyQ)�q��O�a@  Ia

Is it expected? or am I doing something wrong? Any help would be appreciated.

Best,

Norrathep (Oak) Rattanavipanon

M.S. in Computer Science

University of California - Irvine