Hi, I was just wondering for the CAmkES-vm, where is the Makefile to build it? Also, to clone the github repository, do I use "repo" or can I use "git clone"?
Thanks, Bryan
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
