A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
16
stars
12
forks
source link
README: explicitly link design documentation #94
Closed
Ivan-Velickovic closed 4 months ago
This is something people will want to frequently reference so we should link to it in the README.