Thanks Alex. That did the trick. I was also wondering something. While I
was in the CAmkES configuration menu, I saw that under Applications -->
Examples, there were a lot more applications. However, the only one
available/included was the Simple CAmkES application. How would I go about
implementing say the Dataport CAmkES application or Event CAmkES
On Tue, Oct 27, 2015 at 3:08 PM, Alexander Kroh <Alexander.Kroh(a)nicta.com.au
> Hi Bryan,
> We have seen this problem before [
> 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
> - Alex Kroh
> From: Bryan Ching [bryanching7373(a)gmail.com]
> Sent: Wednesday, 28 October 2015 08:49
> To: Alexander Kroh
> Cc: devel(a)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
> when I run the "bootelf" command in minicom, I am getting an error. Any
> 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
> ELF-loading image 'kernel'
> ELF-loading image 'capdl-loader-experimental'
> 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 <bryanching7373(a)gmail.com
> Thanks for the help Alex!
> On Mon, Oct 26, 2015 at 3:57 AM, Alexander Kroh <
> 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(a)sel4.systems] on behalf of Bryan Ching [
> Sent: Monday, 26 October 2015 19:06
> To: devel(a)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:
> 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?
> 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.