README: update build instruction link

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 2, 2025 · 842a75f · 842a75f
1 parent 5d04447
commit 842a75f
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -6,11 +6,11 @@
 
 # sel4bench-manifest
 
-Manifest of the seL4bench project, which contains a set of microbenchmarks for seL4.
+Manifest of the `seL4bench` project, which contains a set of microbenchmarks for seL4.
 
 # Getting the project
 
-Use the repo tool as described on [the wiki](https://docs.sel4.systems/GettingStarted#get-googles-repo-tool)
+Use the `repo` tool as described on [the seL4 docsite][repo].
 
     mkdir sel4bench
     cd sel4bench
@@ -20,3 +20,6 @@ Use the repo tool as described on [the wiki](https://docs.sel4.systems/GettingSt
     cd build
     ../init-build.sh -DPLATFORM=sabre -DHARDWARE=TRUE -DAARCH32=TRUE -DRELEASE=TRUE -DFAULT=TRUE -DFASTPATH=TRUE
     ninja
+
+
+[repo]: https://docs.sel4.systems/projects/buildsystem/host-dependencies.html#get-googles-repo-tool