search

seL4 / microkit

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

Kevin/capdl #21

Closed Ivan-Velickovic closed 1 year ago

Ivan-Velickovic commented 1 year ago

Apologies, the GitHub UI has confused me and I've accidentally opened this PR (it was intended for my own fork).