Closed Ivan-Velickovic closed 1 month ago
Main motivation is so the rust-sel4 project can depend on mainline Microkit (some patches to seL4 required by the project weren't in the branch Microkit uses).
Main motivation is so the rust-sel4 project can depend on mainline Microkit (some patches to seL4 required by the project weren't in the branch Microkit uses).