They were moved to camkes-vm-examples
You can checkout and build with the following:
repo init -u https://github.com/sel4/camkes-vm-examples-manifest
From: Devel <devel-bounces(a)sel4.systems> on behalf of Nogin, Aleksey
Sent: Saturday, 17 August 2019 8:25 AM
To: devel(a)sel4.systems <devel(a)sel4.systems>
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
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.