So I tried running the sample application on my Sabre Lite board again but with the settings in menuconfig changed to "Cortex-A9" and "iMX6". However, when I run the "bootelf" command in minicom, I am getting an error. Any suggestions?
Here is what is on my console screen: U-Boot > bootelf ## Starting application at 0x20000000 ... ELF-loader started on CPU: ARM Ltd. Cortex-A9 r2p10 paddr=[20000000..2010c01f] ELF-loading image 'kernel' paddr=[10000000..10031fff] vaddr=[e0000000..e0031fff] virt_entry=e0000000 ELF-loading image 'capdl-loader-experimental' paddr=[10032000..10215fff] vaddr=[8000..1ebfff] virt_entry=f460 Enabling MMU and paging Jumping to kernel-image entry point... Bootstrapping kernel Caught cap fault in send phase at address 0x0 while trying to handle: vm fault on data at address 0xda1c1556 with status 0x1c06 in thread 0xffefd500 "rootserver" at address 0xf460 On Tue, Oct 27, 2015 at 1:37 AM, Bryan Ching <[email protected]> wrote: > Thanks for the help Alex! > > On Mon, Oct 26, 2015 at 3:57 AM, Alexander Kroh < > [email protected]> wrote: > >> Hi Bryan, >> >> This demo project is configured to be built for the 'kzm' platform. >> Unfortunately, ARM platforms are not cross-compatible. >> >> You can change the platform by running: >> >> $ make menuconfig >> >> And navigating the menus: >> seL4 Kernel ---> seL4 System ---> >> >> Change the CPU to "Cortex-A9" and the platform to "iMX6" >> >> Note that, in doing this, you will no longer be able to simulate the >> project in QEMU >> >> - Alex Kroh >> >> >> >> >> ________________________________________ >> From: Devel [[email protected]] on behalf of Bryan Ching [ >> [email protected]] >> Sent: Monday, 26 October 2015 19:06 >> To: [email protected] >> Subject: [seL4] Running CAmkES Sample Application on Sabre Lite Board >> >> I was following the CAmkES "Getting Started" tutorial on the seL4 website >> and followed all the instructions. Here is the link: >> https://sel4.systems/Info/CAmkES/GettingStarted.pml >> >> I managed to get the sample application to run in QEMU (Quick Emulator) >> like the instructions said. I tried loading the sample application onto the >> Sabre Lite Board through tftp booting using minicom. However, once I try to >> boot the .elf file, it displays the memory address and nothing else happens. >> >> Is there any configuration file that I need to change to make the sample >> application run on my Sabre Lite Board? Or is there something else that I >> am missing? >> >> Thanks, >> Bryan >> >> ________________________________ >> >> 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. >> > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
