portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

SELFOUR-1079: Add link to hosted manual in README

Browse source
This commit is contained in:
Kent McLeod 2018-04-10 15:12:23 +10:00
parent a72f8beb8b
commit 27ba6151ec
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
README.md
View file

@ -30,6 +30,12 @@ system in a larger project.
[2]: http://sel4.systems/Info/FAQ/
[3]: http://sel4.systems/Community/Contributing/
[4]: https://zenodo.org/badge/DOI/10.5281/zenodo.591727.svg
[5]: https://sel4.systems/Info/Docs/seL4-manual-latest.pdf
Manual
------
A hosted version of the [manual](manual/) for the most recent release can be found [here][5].
Repository Overview
-------------------