A library for the provisioning of basic system services on seL4. - View it on GitHub