Hello all

This is a message to let people know that version 0.4.0 of the
seL4 Device Driver Framework (sDDF) has been released.

The sDDF aims to provide a collection of interfaces, libraries and
tools for writing device drivers for seL4 that allow accessing
devices securely and with low overhead. Some may be familiar with
the sDDF from previous seL4 Summit talks.

Since the pre-release at the 2023 Summit, we have made significant improvements
to the networking sub-system, generally rationalising interfaces and further
improving performance, the Ethernet device-class interfaces are now mature.
We have also introduced preliminary specs and prototype implementations for serial,
I2C, block, audio and graphics device classes.

You can find information about the release and the accompanying
documentation here:
https://github.com/au-ts/sddf/releases/tag/0.4.0

Thanks,
Ivan

_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems

Reply via email to