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
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Tue 6 Aug, 10:00pm UTC.
For your local date and time please see https://sel4.systems/contact/.
Zoom link: https://unsw.zoom.us/j/82640784431
Birgit Brecknell
seL4 Foundation Project Coordinator
Sydney, Australia
Mon 9-5
Wed 2-5
Fri 9-5
birgit(a)sel4.systems <mailto:birgit@sel4.systems>
bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>