A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
18
stars
14
forks
source link
examples/echo_server: style ethernet config #110
Closed
Ivan-Velickovic closed 4 months ago
Hopefully the last kind of this PR I have to make but I doubt it.