Hi Bryan, If you look in the apps/ directory you’ll see that there are plenty of example applications included.
If you want to build and run any of these then you can do that in two ways: 1. do "make arm_<appname>_defconfig” for example: "make arm_dataport_defconfig”. Then do the usual “make” and run qemu 2. do “make menuconfig” got to Applications -> Examples, unselect the currently selected application, then select the application you want to build and run, then exit and make sure the config is saved as the default. Then do the usual “make” and run qemu. Ihor > On 1 Nov 2015, at 7:37 am, Bryan Ching <[email protected]> wrote: > > 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
