·
3 commits
to main
since this release
Immutable
release. Only release title and notes can be modified.
Release notes: https://docs.sel4.systems/releases/microkit/2.3.1
If you would like to verify the artifacts you can run:
gpg --verify microkit-sdk-2.3.1-macos-aarch64.tar.gz.asc microkit-sdk-2.3.1-macos-aarch64.tar.gz
gpg --verify microkit-sdk-2.3.1-linux-aarch64.tar.gz.asc microkit-sdk-2.3.1-linux-aarch64.tar.gz
gpg --verify microkit-sdk-2.3.1-linux-x86-64.tar.gz.asc microkit-sdk-2.3.1-linux-x86-64.tar.gz
gpg --verify microkit-sdk-2.3.1-macos-x86-64.tar.gz.asc microkit-sdk-2.3.1-macos-x86-64.tar.gz
The releases are signed by Julia Vassiliki julia.vassiliki@unsw.edu.au with the key fingerprint of FE91 4864 43B0 F4EB 9ECC 3652 4D86 8A34 EDF3 FDCA, this key is available from https://keys.openpgp.org/.
The macOS binaries have codesigning once again in this release.