manual: fix missing rename to Microkit

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

70 stars 37 forks source link

Closed Ivan-Velickovic closed 8 months ago

Ivan-Velickovic commented 8 months ago

This one slipped past the commit that renamed everything due to being a typo.