au-ts / sddfLinks

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
32Updated this week

Alternatives and similar repositories for sddf

Users that are interested in sddf are comparing it to the libraries listed below

Sorting: