Microkit - A simple operating system framework for the seL4 microkernel - View it on GitHub