examples/rust: update to latest 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. Signed-off-by: Ivan Velickovic <[email protected]>
au-ts · Aug 13, 2024 · 327ecfd · 327ecfd
1 parent a7f9ba1
commit 327ecfd
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 26 deletions.
diff --git a/examples/rust/Cargo.lock b/examples/rust/Cargo.lock
diff --git a/examples/rust/src/vmm.rs b/examples/rust/src/vmm.rs
@@ -113,7 +113,7 @@ impl Handler for VmmHandler {
 
     fn fault(&mut self, id: Child, msg_info: MessageInfo) -> Result<Option<MessageInfo>, Self::Error> {
         unsafe {
-            if fault_handle(0, msg_info) {
+            if fault_handle(id.index(), msg_info) {
                 Ok(Some(MessageInfo::new(0, 0)))
             } else {
                 unreachable!()