Disposition: |
After long discussion internally as will as external interest this has been approved and implementation is underway and will occur in the (SEL4/sel4)[https://github.com/SEL4/sel4 |https://github.com/SEL4/sel4 ] repository. Implementation will occur in conjunction with that of [RFC-2] (https://sel4kernel.atlassian.net/browse/RFC-2) which will provide the runtime and interface necessary to utilise the features. |