A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
23
stars
18
forks
source link
drivers/net/virtio: assert instead of early return #257
Closed
Ivan-Velickovic closed 2 months ago
We've reached an unrecoverable state, we should just crash.