Add downloads section for Microkit SDK

Signed-off-by: Ivan Velickovic <[email protected]>

_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"

_includes/project-sidebar.html

@@ -83,6 +83,20 @@ <h3>Releases</h3>
 
 {% endif %}
 
+{% 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 href="{{ sdk.url }}">
+              {{ sdk.label }}
+            </a>
+      </li>
+    {% endfor %}
+  {% endfor %}
+{% endif %}
+
 {% assign update_where_exp = "item.url contains '/updates/" | append: project.name | append: "/'" %}
 {% assign updates = site['updates'] | where_exp:"item", update_where_exp %}
 {% for update in updates | sort: "date" %}