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
Revove unused config JSON files #116
Closed
Ivan-Velickovic closed 2 months ago
These are not used (yet) and so we'll remove them for now.