Microkit releases
This page documents tagged releases of the seL4 Microkit and their corresponding SDK downloads and GPG signatures.
The downloads are signed by Julia Vassiliki <julia.vassiliki@unsw.edu.au> with
the key fingerprint FE91 4864 43B0 F4EB 9ECC 3652 4D86 8A34 EDF3 FDCA. This
key is available from
https://keys.openpgp.org/.
Releases 2.2.0 and before are signed by
Ivan Velickovic
<i.velickovic@unsw.edu.au> instead.
2.3.0 (latest)
| OS | Arch | Download | Signature |
|---|---|---|---|
| Linux | x86-64 | microkit-sdk-2.3.0-linux-x86-64.tar.gz | sig |
| Linux | AArch64 | microkit-sdk-2.3.0-linux-aarch64.tar.gz | sig |
| macOS | x86-64 | microkit-sdk-2.3.0-macos-x86-64.tar.gz | sig |
| macOS | AArch64 | microkit-sdk-2.3.0-macos-aarch64.tar.gz | sig |
2.2.0
| OS | Arch | Download | Signature |
|---|---|---|---|
| Linux | x86-64 | microkit-sdk-2.2.0-linux-x86-64.tar.gz | sig |
| Linux | AArch64 | microkit-sdk-2.2.0-linux-aarch64.tar.gz | sig |
| macOS | x86-64 | microkit-sdk-2.2.0-macos-x86-64.tar.gz | sig |
| macOS | AArch64 | microkit-sdk-2.2.0-macos-aarch64.tar.gz | sig |
2.1.0
| OS | Arch | Download | Signature |
|---|---|---|---|
| Linux | x86-64 | microkit-sdk-2.1.0-linux-x86-64.tar.gz | sig |
| Linux | AArch64 | microkit-sdk-2.1.0-linux-aarch64.tar.gz | sig |
| macOS | x86-64 | microkit-sdk-2.1.0-macos-x86-64.tar.gz | sig |
| macOS | AArch64 | microkit-sdk-2.1.0-macos-aarch64.tar.gz | sig |
2.0.1
| OS | Arch | Download | Signature |
|---|---|---|---|
| Linux | x86-64 | microkit-sdk-2.0.1-linux-x86-64.tar.gz | sig |
| Linux | AArch64 | microkit-sdk-2.0.1-linux-aarch64.tar.gz | sig |
| macOS | x86-64 | microkit-sdk-2.0.1-macos-x86-64.tar.gz | sig |
| macOS | AArch64 | microkit-sdk-2.0.1-macos-aarch64.tar.gz | sig |
2.0.0
| OS | Arch | Download | Signature |
|---|---|---|---|
| Linux | x86-64 | microkit-sdk-2.0.0-linux-x86-64.tar.gz | sig |
| Linux | AArch64 | microkit-sdk-2.0.0-linux-aarch64.tar.gz | sig |
| macOS | x86-64 | microkit-sdk-2.0.0-macos-x86-64.tar.gz | sig |
| macOS | AArch64 | microkit-sdk-2.0.0-macos-aarch64.tar.gz | sig |
1.4.1
| OS | Arch | Download | Signature |
|---|---|---|---|
| Linux | x86-64 | microkit-sdk-1.4.1-linux-x86-64.tar.gz | sig |
| macOS | x86-64 | microkit-sdk-1.4.1-macos-x86-64.tar.gz | sig |
| macOS | AArch64 | microkit-sdk-1.4.1-macos-aarch64.tar.gz | sig |
1.4.0
| OS | Arch | Download | Signature |
|---|---|---|---|
| Linux | x86-64 | microkit-sdk-1.4.0-linux-x86-64.tar.gz | sig |
| macOS | x86-64 | microkit-sdk-1.4.0-macos-x86-64.tar.gz | sig |
| macOS | AArch64 | microkit-sdk-1.4.0-macos-aarch64.tar.gz | sig |
1.3.0
| OS | Arch | Download | Signature |
|---|---|---|---|
| Linux | x86-64 | microkit-sdk-1.3.0-linux-x86-64.tar.gz | sig |
| macOS | x86-64 | microkit-sdk-1.3.0-macos-x86-64.tar.gz | sig |
| macOS | aarch64 | microkit-sdk-1.3.0-macos-aarch64.tar.gz | sig |