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
Thanks for the help Alex!
On Mon, Oct 26, 2015 at 3:57 AM, Alexander Kroh < Alexander.Kroh@nicta.com.au> 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 [devel-bounces@sel4.systems] on behalf of Bryan Ching [ bryanching7373@gmail.com] Sent: Monday, 26 October 2015 19:06 To: devel@sel4.systems 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.