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

i2c: add helpers for claiming and releasing a bus #62

Closed Ivan-Velickovic closed 7 months ago

Ivan-Velickovic commented 7 months ago

Abstracts over the possible interactions to the virtualiser, this will decrease the duplicated code across clients but more importantly, will mean that slight changes to the API with the virtualiser do not lead to breaking changes to the clientss since they aren't doing PPC directly.