search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
79 stars 42 forks source link

trivial: spelling fixes #7

Closed Ivan-Velickovic closed 1 year ago