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
17 stars 14 forks source link

Add release notes for 0.5.0 #200

Closed Ivan-Velickovic closed 1 month ago

Ivan-Velickovic commented 1 month ago

If you wanted to, you could also mention our improvements to sddf util including printf? which I think was a big usability improvement.

Will do.