Microkit releases

This page documents tagged releases of the seL4 Microkit and their corresponding SDK downloads and GPG signatures.

The downloads are signed by Ivan Velickovic i.velickovic@unsw.edu.au with the key fingerprint EFC6 142C FE61 C255 B4CD E959 6FBD 87E8 4FA8 89BB. The key is available from https://keys.openpgp.org/.

• Microkit Release 2.0.1 (latest)
  • microkit-sdk-2.0.1-linux-x86-64.tar.gz [sig]
  • microkit-sdk-2.0.1-linux-aarch64.tar.gz [sig]
  • microkit-sdk-2.0.1-macos-x86-64.tar.gz [sig]
  • microkit-sdk-2.0.1-macos-aarch64.tar.gz [sig]
• Microkit Release 2.0.0
  • microkit-sdk-2.0.0-linux-x86-64.tar.gz [sig]
  • microkit-sdk-2.0.0-linux-aarch64.tar.gz [sig]
  • microkit-sdk-2.0.0-macos-x86-64.tar.gz [sig]
  • microkit-sdk-2.0.0-macos-aarch64.tar.gz [sig]
• Microkit Release 1.4.1
  • microkit-sdk-1.4.1-linux-x86-64.tar.gz [sig]
  • microkit-sdk-1.4.1-macos-x86-64.tar.gz [sig]
  • microkit-sdk-1.4.1-macos-aarch64.tar.gz [sig]
• Microkit Release 1.4.0
  • microkit-sdk-1.4.0-linux-x86-64.tar.gz [sig]
  • microkit-sdk-1.4.0-macos-x86-64.tar.gz [sig]
  • microkit-sdk-1.4.0-macos-aarch64.tar.gz [sig]
• Microkit Release 1.3.0
  • microkit-sdk-1.3.0-linux-x86-64.tar.gz [sig]
  • microkit-sdk-1.3.0-macos-x86-64.tar.gz [sig]
  • microkit-sdk-1.3.0-macos-aarch64.tar.gz [sig]