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

Cleanup #82

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 5 months ago

Just a quick review, feel free to ignore. The rest seems fine.

It is appreciated. There's a reason everything we do is open-source!

Ivan-Velickovic commented 4 months ago

@wom-bat will make another PR addressing your comments.