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.
sel4 / camkes-vm-manifest Goto Github PK
View Code? Open in Web Editor NEWCAmkES code and examples
Home Page: http://ts.data61.csiro.au/projects/TS/trustcomp.pml