Adding manifest for seL4 version 13.0.0

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 2, 2024 · 56c8f27 · 56c8f27
1 parent 902b2c4
commit 56c8f27
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/13.0.0.xml b/13.0.0.xml
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+  Copyright seL4 Project a Series of LF Projects, LLC
+  SPDX-License-Identifier: BSD-2-Clause
+-->
+<manifest>
+  <remote name="verification" fetch="."/>
+
+  <default remote="verification" revision="master"/>
+
+  <project name="HOL" path="HOL4" revision="ab03cec5200c8b23f9ba60c5cea958cfcd0cd158" />
+  <project name="graph-refine" revision="8924af0c61c3c863db7957e0ebac7ae1ceefad9d" />
+  <project name="isabelle" revision="refs/tags/Isabelle2024" />
+  <project name="l4v" revision="00d9073f70d064b31b4b1fad8a0e7086bb258007"/>
+  <project name="polyml" path="HOL4/polyml" revision="bf2020d077bfbb1c5911dcef20bd275c95da7162" />
+  <project name="seL4" revision="cd6d3b8c25d49be2b100b0608cf0613483a6fffa"/>
+</manifest>