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.
This repository has been archived by the owner on Nov 27, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 8
CAmkES code and examples
seL4/camkes-vm-manifest
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
CAmkES code and examples