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