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

Replace google repo installation link 

Android no longer provides repo installation instructions

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-07-15 10:15:18 +10:00
parent 4b3ab94d38
commit 95f7ae46fd
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Tutorials/setting-up.md
View File

@ -25,8 +25,8 @@ To install run:
<details markdown='1'>
<summary>More on Repo</summary>
<br>
[More details about on installing Repo](https://source.android.com/setup/develop#installing-repo).
[More details about on installing Repo](https://gerrit.googlesource.com/git-repo#install).
[seL4 Repo cheatsheet](../projects/buildsystem/repo-cheatsheet.html)
</details>
@ -55,7 +55,6 @@ sudo usermod -aG docker $(whoami)
<details markdown='1'>
<summary>More on Docker</summary>
<br>
**Available images**