A minimal runtime for seL4 applications. - View it on GitHub