search

seL4 / microkit

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

Note the plan for removing the patch to seL4 in the README #53

Closed Ivan-Velickovic closed 9 months ago