search

seL4 / microkit

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

Minor fixes to manual #83

Closed Ivan-Velickovic closed 7 months ago

Ivan-Velickovic commented 7 months ago

Closes https://github.com/seL4/microkit/issues/82.