search

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
16 stars 12 forks source link

ci: add docs #88

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 4 months ago

Do these checks have to pass before a merge is possible? IF so, please add that to the doc here, or in the main README

Made a note about it.