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

update link to repo install doc 

As of writing this PR, the link to the repo installation documentation
redirects to a page titled “Download the Android source,”
which does not include instructions on how to install the repo.
Therefore, we would like to use a different link for the installation
instructions.

Signed-off-by: daichifukui <a.dog.will.talk@akane.waseda.jp>
This commit is contained in:
daichifukui 2024-09-09 10:31:11 +09:00 committed by Gerwin Klein
parent 68aea3a666
commit 7c251159a6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
projects/buildsystem/host-dependencies.md
View File

@ -17,7 +17,7 @@ The following instructions describe how to set up the required dependencies on y
## Get Google's Repo tool ## Get Google's Repo tool
The primary way of obtaining and managing seL4 project source is through the use of Google's repo tool. To get repo, follow the instructions described in the section “Installing Repo” [here](https://source.android.com/setup/develop#installing-repo). The primary way of obtaining and managing seL4 project source is through the use of Google's repo tool. To get repo, follow the instructions described in the section “Install” [here](https://gerrit.googlesource.com/git-repo#install).
See the [RepoCheatsheet](repo-cheatsheet) page for a quick explanation of how we use Repo. See the [RepoCheatsheet](repo-cheatsheet) page for a quick explanation of how we use Repo.