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 <[email protected] > 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 [[email protected]] on behalf of Norrathep > Rattanavipanon [[email protected]] > Sent: Friday, 15 April 2016 04:39 > To: [email protected] > 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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
