adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs/setup: mention release manifests 

Extracted from verification-manifest README which now only points to
the instructions in this repo.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-03-31 15:33:50 +11:00
parent 7b0599a035
commit 9ba34e2690
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/setup.md
View File

@ -133,6 +133,10 @@ the `l4v` repository instead of the last known-good version. To set up `git` for
`ssh` make sure to use the `ssh://` protocol explicitly as above instead of just
`git@github.com`, because the short form seems to confuse `repo`.
If you are looking to use the proofs for a specific release version of seL4, use
the `-m` option to select the corresponding manifest file in the
[verification-manifest] repository.
[repo]: https://gerrit.googlesource.com/git-repo/+/HEAD/README.md
[verification-manifest]: https://github.com/seL4/verification-manifest