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
16
stars
12
forks
source link
Double int err declaration fix
#98
Closed
erichchan999
closed
4 months ago