Hi Alex,
Thanks for your reply. I'm not really familiar with serial port. How can I
tell if the config in
https://github.com/seL4/seL4/blob/master/src/plat/exynos_common/io.c needs
changes?
This is the serial cable I'm using:
http://odroid.com/dokuwiki/lib/exe/fetch.php?cache=&media=en:others:usb_uart_for_odroid.png
http://odroid.com/dokuwiki/doku.php?id=en:usb_uart_kit
Best,
Oak
On Thu, Apr 14, 2016 at 5:23 PM, Alexander Kroh wrote: 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. --
Norrathep (Oak) Rattanavipanon
M.S. in Computer Science
University of California - Irvine