Hello,

when I do a fresh init of the camkes-vm repository:

repo init -u https://github.com/seL4/camkes-vm-manifest
repo sync

and then I want to build the cma34cr_picotcp app:

make clean
make make cma34cr_picotcp_defconfig
make silentoldconfig
make

I get the following error:

Makefile:76: *** No CAmkES application selected.  Stop.


Do you guys have any CI server set up? If not, I would be happy to help set something up, this is not the first time an existing configuration doesn't build.

Regards
Michal