Release notes: https://docs.sel4.systems/releases/microkit/2.3.0
If you would like to verify the artifacts you can run:
gpg --verify microkit-sdk-2.3.0-macos-aarch64.tar.gz.asc microkit-sdk-2.3.0-macos-aarch64.tar.gz
gpg --verify microkit-sdk-2.3.0-linux-aarch64.tar.gz.asc microkit-sdk-2.3.0-linux-aarch64.tar.gz
gpg --verify microkit-sdk-2.3.0-linux-x86-64.tar.gz.asc microkit-sdk-2.3.0-linux-x86-64.tar.gz
gpg --verify microkit-sdk-2.3.0-macos-x86-64.tar.gz.asc microkit-sdk-2.3.0-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/.
Please note that unfortunately for this release the macOS binaries are not notarised. We are planning on making a point release that resolves this issue.