GitHub repository: Ivan-Velickovic/microkit
Primary language: Python
Description: Microkit - A simple operating system framework for the seL4 microkernel