Disposition: |
After much internal discussion this been approved. Development will happen in the [SEL4PROJ/sel4runtime ]( | https://github.com/SEL4PROJ/sel4runtime) ] repository. This will depend on the outcomes of [RFC-3] (https://sel4kernel.atlassian.net/browse/RFC-3) and so will not be usable until that is approved and implemented. |