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
blk: add extra asserts to virtualiser #207
Closed
Ivan-Velickovic closed 1 month ago
Probably should have a return code for fsmalloc_free as well.