Re: [seL4] Problem porting sel4 into XU4

Hi Oak,

Assuming that you are building a debug version of the kernel, the next line that should be printed is "Bootstrapping kernel".

Are any changes required for the serial port driver? https://github.com/seL4/seL4/blob/master/src/plat/exynos_common/io.c

- Alex

________________________________________ From: Devel [devel-bounces@sel4.systems] on behalf of Norrathep Rattanavipanon [nrattana@uci.edu] Sent: Friday, 15 April 2016 04:39 To: devel@sel4.systems Cc: GTS; El Defrawy, Karim M Subject: [seL4] Problem porting sel4 into XU4

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�AIq9
Fy

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

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.