Closed lsf37 closed 4 months ago
Original Jira issue.
The main RFC discussion happened on the draft pull requests seL4/seL4#874 (first alternative) and seL4/seL4#945 (second alternative, which was approved).
This RFC is approved and currently under implementation/verification.
Original Jira issue.
The main RFC discussion happened on the draft pull requests seL4/seL4#874 (first alternative) and seL4/seL4#945 (second alternative, which was approved).
This RFC is approved and currently under implementation/verification.