secc
/
seL4
mirror of https://github.com/seL4/seL4.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

change link to Resources ot setup page 

Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
This commit is contained in:
June Andronick 2025-07-08 14:31:33 +02:00 committed by Gerwin Klein
parent f44f103c26
commit acbe30b507
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

@ -37,7 +37,7 @@ system in a larger project.
[3]: https://sel4.systems/Contribute/
[4]: https://zenodo.org/badge/DOI/10.5281/zenodo.591727.svg
[5]: https://sel4.systems/Info/Docs/seL4-manual-latest.pdf
[6]: https://docs.sel4.systems/Resources#setting-up-your-machine
[6]: https://docs.sel4.systems/projects/buildsystem/host-dependencies.html
[7]: https://docs.sel4.systems/releases/sel4
[8]: https://docs.sel4.systems/projects/sel4/api-doc.html