First release of the seL4 Device Driver Framework
9 Apr
2024
9 Apr
'24
1:44 p.m.
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
238
Age (days ago)
238
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list