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

Update README.md 

added more links to CAmkES documentation
This commit is contained in:
Ihor Kuz 2014-07-29 10:30:18 +10:00
parent df0f45cc0e
commit cdc2ae8bfa
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -8,7 +8,11 @@ It is not possible to change the system (e.g., to create or destroy components o
the connections between components) at runtime. This CAmkES package includes various example
systems that can be studied, and individually built and run.
For general instructions on how to use this repository, see [sel4.systems](http://sel4.systems/Download/building)
For general instructions on how to use this repository, see [sel4.systems](http://sel4.systems/Download/building).
For general information about CAmkES see [the CAmkES pages on seL4.systems](http://sel4.systems/CAmkES).
For detailed information about CAmkES see documentation in [the camkes-tool repo](https://github.com/seL4/camkes-tool/blob/master/docs/index.md).
Prerequisites, in addition to a standard build system for your target, are:
* The Haskell compiler, ghc