A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
17
stars
14
forks
source link
i2c: make queue header-only, serial: add static inline to queue #63
Closed
Ivan-Velickovic closed 6 months ago