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
Fix includes for network components #137
Closed
Ivan-Velickovic closed 3 months ago
We should not directly include the util directory