8000 Release 2.0.0 · seL4/microkit · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

2.0.0
Compare
Choose a tag to compare
@Ivan-Velickovic Ivan-Velickovic released this 06 Mar 06:36
· 29 commits to main since this release
2.0.0
8aeb9f9

Release notes available here.

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

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

The 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/.

Assets 10
Loading
0