I'm trying to port sel4 into ODROID-XU4 by following the wiki (
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
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
ELF-loader started on CPU: ARM Ltd. Cortex-A15 r2p3
ELF-loading image 'kernel'
ELF-loading image 'sel4test-driver'
Enabling hypervisor MMU and paging
Enabling MMU and paging
Jumping to kernel-image entry point...
�⧹I�AIq9Fy6 1)�a&I99)�6� Yq��摦P�^б��F��^/A�yyyyyyyyy�Y
Is it expected? or am I doing something wrong? Any help would be
Norrathep (Oak) Rattanavipanon
M.S. in Computer Science
University of California - Irvine