GitHub repository: BreakawayConsulting/sel4cp
Primary language: Python
Created: 2021-10-20T22:57:25Z
Description: seL4 Core Platform - A simple operating system for the seL4 microkernel