issues
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
18
stars
14
forks
source link
Add shell.nix
#120
Closed
Ivan-Velickovic
closed
4 months ago