Hello seL4 Community,

Trustworthy Systems @UNSW is pleased to announce the release 0.4 of the seL4 Device Driver Framework (sDDF). sDDF is designed for high performance while featuring a highly modular architecture that aims to enable formal verification.

For more details see: * the announcement on the developer mailing list https://lists.sel4.systems/hyperkitty/list/devel@sel4.systems/thread/6QKUK5C... * the document describing the design https://trustworthy.systems/projects/drivers/sddf-design.pdf * the GitHub code and documentation repository https://github.com/au-ts/sddf/releases/tag/0.4.0

Gernot on behalf of Trustworthy Systems