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