Ben,
The tutorials really only help you learn about the concepts and APIs around seL4 and CAmkES. It does not represent the best way to create your own project. It would be better to start with using the manifest for the camkes test-suite: https://github.com/seL4/camkes-manifest
Using this manifest will setup your project to be able to build the CAmkES applications that are within https://github.com/seL4/camkes. The muliclient application shows an example of using 3 components. You could start working from that or model your own project repo based on that one.
To build for ARM you need to specify your architecture and platform with the init build script. For example, building for the Zynq UltraScale+ MPSoC (zynqmp):
mkdir my_proj
cd my_proj
repo init -u https://github.com/seL4/camkes-manifest
repo sync
mkdir build
cd build
../init-build.sh -DPLATFORM=zynqmp -DAARCH64=true -DCAMKES_APP=multiclient -DRELEASE=false
ninja
Thanks,
Robbie VanVossen
-----Original Message-----
From: Devel On Behalf Of Turner, Ben
Sent: Thursday, April 16, 2020 9:31 AM
To: devel@sel4.systems
Cc: Yates, Tim
Subject: [seL4] Incorporating the Build System - The CAmkES Perspective
CAUTION: This email originated from outside the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.
Hi,
We are attempting to define a system that comprises 3 components that can talk to each other.
We have managed to get the system built and working using the existing tutorial repo and the hello-camkes-0 app, however we are struggling to determine what precisely we would need to copy from this in order to define our own standalone application within the seL4 build system. We have read the existing documentation at https://docs.sel4.systems/projects/buildsystem/incorporating.html but cannot find any information on what additions are required when using the CAmkES and ARM capabilities.
Any help you can provide would be appreciated.
Kind regards,
Ben Turner
________________________________________
Roke Manor Research Limited, Romsey, Hampshire, SO51 0ZN, United Kingdom.Part of the Chemring Group.
Registered in England & Wales. Registered No: 00267550 http://www.roke.co.uk _______________________________________
The information contained in this e-mail and any attachments is proprietary to Roke Manor Research Limited and must not be passed to any third party without permission. This communication is for information only and shall not create or change any contractual relationship.
________________________________________
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
