A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
16
stars
12
forks
source link
Fixed bug with non null terminated string with atoi #87
Closed
Kswin01 closed 5 months ago
Null terminating
got_char
in virt rx.