Hello everyone, We have made a new release of the seL4 Microkit, version 1.4.0. This release contains a number of features requested by the community. You can find the release notes here: https://docs.sel4.systems/releases/microkit/1.4.0 You can find the SDK downloads here: https://github.com/seL4/microkit/releases/tag/1.4.0 Thanks, Ivan