A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
BSD 2-Clause "Simplified" License
13
stars
11
forks
source link
ci: add check for trailing whitespace #149
Closed
Ivan-Velickovic closed 1 week ago
I keep having to fix trailing whitespace so let's add this change.