Add hierarchy example to SDK and fix spelling

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

68 stars 37 forks source link

Closed Ivan-Velickovic closed 5 days ago

Ivan-Velickovic commented 5 days ago

This makes sure that the hierarchy example ends up in the actual SDK.