Thanks for the help Alex! On Mon, Oct 26, 2015 at 3:57 AM, Alexander Kroh <[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]] > 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
