Hello everyone, There has been a new release of the seL4 Device Driver Framework, 0.5.0. This release is primarily focused on making the various device classes we support more mature. You can find detailed release notes here: https://github.com/au-ts/sddf/releases/tag/0.5.0 You can find the latest design documentation attached to the release artefacts. Thanks, Ivan