secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add downloads section for Microkit SDK 

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan Velickovic 2024-07-01 18:27:25 +10:00 committed by Ivan Velickovic
parent 5dd585733e
commit 4277481031
2 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
_data/projects/microkit.yml
View File

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

14
_includes/project-sidebar.html
View File

@ -83,6 +83,20 @@ Because of this we need to split the list into two before sorting.
{% 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" %}