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

use tag instead of raw commit ID for OpenSBI (#11) 

Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-09-10 02:34:53 +02:00 committed by GitHub
parent e1b89b1d70
commit 37a02edf33
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
master.xml
View File

@ -38,5 +38,5 @@
<project name="projects_libs.git" path="projects/projects_libs"/>
<project name="cakeml_libs.git" path="projects/cakeml_libs"/>
<project remote="nicta" name="cogent" path="tools/cogent" revision="master"/>
<project name="opensbi" remote="opensbi" revision="234ed8e427f4d92903123199f6590d144e0d9351" path="tools/opensbi"/>
<project name="opensbi" remote="opensbi" revision="refs/tags/v0.9" path="tools/opensbi"/>
</manifest>