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

change link to Resources to setup page 

Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
This commit is contained in:
June Andronick 2025-07-08 14:40:45 +02:00 committed by Gerwin Klein
parent 1957e33a1a
commit 8db2668335
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

@ -47,4 +47,4 @@ To define a larger test in `sel4test-tests`:
For an example, take a look at [`trivial.c`](https://github.com/seL4/sel4test/blob/master/apps/sel4test-tests/src/tests/trivial.c) in `sel4test`.
[build]: https://docs.sel4.systems/Resources#setting-up-your-machine
[build]: https://docs.sel4.systems/projects/buildsystem/host-dependencies.html