Closed lsf37 closed 4 months ago
Original Jira issue and discussion.
The RFC was updated to reflect current terminology (Microkit instead of Core Platform).
This RFC has been approved and is under implementation.
The currently main missing implementation feature is the integration with existing capDL infrastructure.
Original Jira issue and discussion.
The RFC was updated to reflect current terminology (Microkit instead of Core Platform).
This RFC has been approved and is under implementation.
The currently main missing implementation feature is the integration with existing capDL infrastructure.