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 <[email protected]> On Behalf Of Turner, Ben Sent: Thursday, April 16, 2020 9:31 AM To: [email protected] Cc: Yates, Tim <[email protected]> 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 [email protected] https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
