Closed Ivan-Velickovic closed 3 months ago
Fixed two issues I encountered when previously updating to the latest rust-sel4 version.
There's still one remaining issue which prevents us from switching to the mainline rust-sel4.
Fixed two issues I encountered when previously updating to the latest rust-sel4 version.
There's still one remaining issue which prevents us from switching to the mainline rust-sel4.