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
Merge `examples/mmc` and `examples/blk` into one example #205
Open
Ivan-Velickovic opened 1 month ago
They do slightly different things but really they should be one example to test the sDDF block interface.