From acbe30b50798e0defa110eb4b8a8832d60fd958e Mon Sep 17 00:00:00 2001 From: June Andronick Date: Tue, 8 Jul 2025 14:31:33 +0200 Subject: [PATCH] change link to Resources ot setup page Signed-off-by: June Andronick --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5e66b60bd..5f5abae1d 100644 --- a/README.md +++ b/README.md @@ -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