A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
17
stars
14
forks
source link
More fixes for Microkit 1.4.0 #196
Closed
Ivan-Velickovic closed 1 month ago
I haven't gotten the chance to add the cache operations to mainline libmicrokit yet so we're going to do raw system calls for now.
Made an issue about it here https://github.com/au-ts/sddf/issues/195 so we don't forget.