secc
/
seL4-camkes-manifest
mirror of https://github.com/seL4/camkes-manifest.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix outdated link 

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-12-02 15:07:09 +11:00
parent 781586a0e4
commit 7e3fddc044
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -16,7 +16,7 @@ systems that can be studied, and individually built and run.
For general instructions on how to use this repository, see [sel4.systems](https://docs.sel4.systems/RepoCheatsheet).
For general information about CAmkES see [the CAmkES pages on seL4.systems](http://sel4.systems/CAmkES).
For general information about CAmkES see [the CAmkES pages on seL4.systems](https://docs.sel4.systems/projects/camkes/).
For detailed information about CAmkES see documentation in [the camkes-tool repo](https://github.com/seL4/camkes-tool/blob/master/docs/index.md).