Add sDDF design document

au-ts / sddf

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

Other

17 stars 14 forks source link

Closed Ivan-Velickovic closed 3 weeks ago

Ivan-Velickovic commented 1 month ago

This commit moves the design doc source into the main sDDF repository, previously it was in a separate private repo.

Ivan-Velickovic commented 3 weeks ago

Will sort this out later. Not urgent right now.