Release notes available here.

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

gpg --verify microkit-sdk-2.0.1-<target>.tar.gz.asc microkit-sdk-2.0.1-<target>.tar.gz

The releases are signed by Ivan Velickovic <[email protected]> with the key fingerprint of EFC6 142C FE61 C255 B4CD E959 6FBD 87E8 4FA8 89BB, this key is available from https://keys.openpgp.org/.