GitHub repository: Ivan-Velickovic/sel4cp
Primary language: Python
Description: seL4 Core Platform - A simple operating system for the seL4 microkernel