Skip to content

2.4.0

Latest
Latest

Choose a tag to compare

View all tags
@dreamliner787-9 dreamliner787-9 released this 30 Oct 08:25
· 1 commit to main since this release
Immutable release. Only release title and notes can be modified.
2.4.0
b2558a9

Release notes: https://docs.sel4.systems/releases/microkit/2.4.0

If you would like to verify the artifacts you can run:

gpg --verify microkit-sdk-2.4.0-macos-aarch64.tar.gz.asc microkit-sdk-2.4.0-macos-aarch64.tar.gz
gpg --verify microkit-sdk-2.4.0-linux-aarch64.tar.gz.asc microkit-sdk-2.4.0-linux-aarch64.tar.gz
gpg --verify microkit-sdk-2.4.0-linux-x86-64.tar.gz.asc microkit-sdk-2.4.0-linux-x86-64.tar.gz
gpg --verify microkit-sdk-2.4.0-macos-x86-64.tar.gz.asc microkit-sdk-2.4.0-macos-x86-64.tar.gz

The releases are signed by Bill Nguyen bill.nguyen@unsw.edu.au with the key fingerprint of CF62 2A1E 98B6 DDC3 F546 E388 2FD1 D940 9180 3025, this key is available from https://keys.openpgp.org/.

Assets 11
Loading