camkes-vm-manifest
This manifest repository is now deprecated. It can still be used to check out the last working version of the camkes-vm, but for future versions you should use the [camkes-vm-examples](https://github.com/seL4/camkes-vm-examples-manifest] instead.