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
net: add size function back and style #95
Closed
Ivan-Velickovic closed 3 months ago
While it's not necessary, knowing the size of a queue is very useful for debugging.
We used to have this but it got removed accidentally.