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

Use libmicrokit ARM caching operations #195

Open Ivan-Velickovic opened 1 month ago

Ivan-Velickovic commented 1 month ago

When managing the cache for DMA operations (e.g in the block and sound virtualiser) we call cache invalidate right now using a direct system call because libmicrokit does not contain an API for wrapping over the system call. When libmicrokit has this, we should also update our code.