GitHub repository: manu88/Sofa
Primary language: C
Created: 2018-10-23T05:46:56Z
Description: Operating System built on top of the seL4 microkernel.