GitHub repository: Ippotim/seL4
Primary language: C
Created: 2017-11-11T07:47:42Z
Description: The seL4 microkernel