From 37a02edf33b2ed584ef6589a1eb6dd15f0cb7f56 Mon Sep 17 00:00:00 2001
From: Axel Heider <axel-h@users.noreply.github.com>
Date: Fri, 10 Sep 2021 02:34:53 +0200
Subject: [PATCH] use tag instead of raw commit ID for OpenSBI (#11)

Signed-off-by: Axel Heider <axelheider@gmx.de>
---
 master.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/master.xml b/master.xml
index eae4085..034592b 100644
--- a/master.xml
+++ b/master.xml
@@ -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>