selfe-runtime (cargo): A tiny runtime library, required for any process which uses libsel4.a
Keywords: rust|sel4