mcs.xml: add specific tag for mcs tutorial version

seL4 · Oct 15, 2018 · 896f939 · 896f939
1 parent 05961db
commit 896f939
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mcs.xml b/mcs.xml
@@ -14,5 +14,5 @@
     <include name="common.xml"/>
 
     <!-- the seL4 kernel -->
-    <project name="seL4.git" path="kernel" revision="new-rt"/>
+    <project name="seL4.git" path="kernel" revision="refs/tags/mcs-tutorials"/>
 </manifest>