seL4 Core Platform - A simple operating system for the seL4 microkernel
Primary LanguagePythonBSD 2-Clause "Simplified" LicenseBSD-2-Clause