Microkit releases
This page documents tagged releases of the seL4 Microkit and their corresponding SDK downloads and GPG signatures.
The downloads are signed by Ivan Velickovic i.velickovic@unsw.edu.au with the
key fingerprint EFC6 142C FE61 C255 B4CD E959 6FBD 87E8 4FA8 89BB. The key
is available from https://keys.openpgp.org/.
2.0.1 (latest)
| 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 |