Release notes available here.
If you would like to verify the artifacts you can run:
gpg --verify microkit-sdk-2.1.0-<target>.tar.gz.asc microkit-sdk-2.1.0-<target>.tar.gzThe releases are signed by Ivan Velickovic <i.velickovic@unsw.edu.au> with the key fingerprint of EFC6 142C FE61 C255 B4CD E959 6FBD 87E8 4FA8 89BB, this key is available from https://keys.openpgp.org/.