Re: [seL4] Running CAmkES Sample Application on Sabre Lite Board

Hi Bryan, We have seen this problem before [http://sel4.systems/pipermail/devel/2015-March/000291.html]. The theory is that an asynchronous abort that is caused by the bootloader is propagating through to the kernel. Asynchronous aborts are masked globally when building in release mode, but it was thought that they would be a valuable debug feature when building in debug mode. A work around to your problem is to disable the abort in all build configurations by changing #ifdef DEBUG to #if 0 on this line of the kernel source: https://github.com/seL4/seL4/blob/master/include/arch/arm/arch/machine/regis... - Alex Kroh ________________________________________ From: Bryan Ching [bryanching7373@gmail.com] Sent: Wednesday, 28 October 2015 08:49 To: Alexander Kroh Cc: devel@sel4.systems Subject: Re: [seL4] Running CAmkES Sample Application on Sabre Lite Board 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 mailto:bryanching7373@gmail.com> wrote: Thanks for the help Alex! On Mon, Oct 26, 2015 at 3:57 AM, Alexander Kroh mailto: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.commailto: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.