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 application?
Thanks, Bryan On Tue, Oct 27, 2015 at 3:08 PM, Alexander Kroh <[email protected] > wrote: > 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/registerset.h#L21 > > - Alex Kroh > > > ________________________________________ > From: Bryan Ching [[email protected]] > Sent: Wednesday, 28 October 2015 08:49 > To: Alexander Kroh > Cc: [email protected] > 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 <[email protected] > <mailto:[email protected]>> wrote: > Thanks for the help Alex! > > On Mon, Oct 26, 2015 at 3:57 AM, Alexander Kroh < > [email protected]<mailto:[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]<mailto:[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
