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]which will provide the runtime and interface necessary to utilise the features. |