Add downloads section for Microkit SDK

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jul 1, 2024 · 199b941 · 199b941
1 parent 484c588
commit 199b941
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/_data/projects/microkit.yml b/_data/projects/microkit.yml
@@ -21,3 +21,13 @@ repositories:
     repo: microkit
   - org: au-ts
     repo: microkit_tutorial
+
+sdk_downloads:
+  - version: 1.3.0
+    sdks:
+    - label: "microkit-sdk-1.3.0-linux-x86-64.tar.gz"
+      url: "https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-linux-x86-64.tar.gz"
+    - label: "microkit-sdk-1.3.0-macos-x86-64.tar.gz"
+      url: "https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-macos-x86-64.tar.gz"
+    - label: "microkit-sdk-1.3.0-macos-aarch64.tar.gz"
+      url: "https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-macos-aarch64.tar.gz"
diff --git a/_includes/project-sidebar.html b/_includes/project-sidebar.html
@@ -47,6 +47,20 @@ <h3>Repositories</h3>
         </li>
 {% endfor %}
 
+{% if project.sdk_downloads %}
+<h3>SDK downloads</h3>
+  {% for release in project.sdk_downloads %}
+    <h4>{{ release.version }}</h4>
+    {% for sdk in release.sdks %}
+      <li>
+          <a class="" href="{{ sdk.url }}">
+              {{ sdk.label }}
+            </a>
+      </li>
+    {% endfor %}
+  {% endfor %}
+{% endif %}
+
 {% assign release_where_exp = "item.url contains '/releases/" | append: project.name | append: "/'" %}
 {% assign releases = site['releases'] | where_exp:"item", release_where_exp %}
 {% comment %}