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
serial: log when switching to client #133
Closed
Ivan-Velickovic closed 1 month ago