Re: [seL4] Is there a "modern" seL4 manifest/configuration that is known to run on CMA34CR?

They were moved to 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

[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