They were moved to camkes-vm-examples (  You can checkout and build with the following:
repo init -u
repo sync
mkdir build
cd build
../ -DCAMKES_VM_APP=cma34cr_centos

From: Devel <> on behalf of Nogin, Aleksey <>
Sent: Saturday, 17 August 2019 8:25 AM
To: <>
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 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)?





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.