Setting up your machine to use Microkit

The seL4 Microkit is distributed as a software development kit (SDK) for Linux and Mac on Intel and Arm architectures and needs no further setup.

You are free to choose your own development environment and build system. For an example, see the Microkit tutorial, or the example folder in the SDK together with the Microkit manual.

The SDK for the latest release can be downloaded below:

• Release 2.0.1
  • 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]