issues
search
seL4
/
microkit
Microkit - A simple operating system framework for the seL4 microkernel
Other
68
stars
37
forks
source link
manual: fix typo
#148
Closed
Ivan-Velickovic
closed
5 days ago
Ivan-Velickovic
commented
5 days ago
Missing a zero...
Missing a zero...