seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
104Updated this week

Alternatives and similar repositories for microkit:

Users that are interested in microkit are comparing it to the libraries listed below