They were moved to camkes-vm-examples (https://github.com/sel4/camkes-vm-examples<https://github.com/sel4/camkes-vm-examples>). You can checkout and build with the following: repo init -u https://github.com/sel4/camkes-vm-examples-manifest repo sync mkdir build cd build ../init-build.sh -DCAMKES_VM_APP=cma34cr_centos ninja
________________________________ From: Devel <[email protected]> on behalf of Nogin, Aleksey <[email protected]> Sent: Saturday, 17 August 2019 8:25 AM To: [email protected] <[email protected]> Subject: [seL4] Is there a "modern" seL4 manifest/configuration that is known to run on CMA34CR? Unless I am looking in the wrong place, all the CMA34CR support was removed in https://github.com/seL4/camkes-vm/commit/aab3478acc4705a3161f5bf59625f7c96a801544. Is there something that remains? If not, what would be the best starting point to try to port a demo running on CMA34CR board from an old (early 2017) version of the sel4/camkes/etc to a recent stable release (e.g, 10.1.1)? Thanks. Aleksey CONFIDENTIALITY NOTICE: The information transmitted in this email, including attachments, is intended only for the person(s) or entity to which it is addressed and may contain confidential, proprietary and/or privileged material exempt from disclosure under applicable law. Any review, retransmission, dissemination or other use of, or taking of any action in reliance upon this information by persons or entities other than the intended recipient is prohibited. If you received this message in error, please contact the sender immediately and destroy any copies of this information in their entirety.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
