crates/sel4-microkit: Improve toolchain compatibility

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 30, 2024 · 01559ce · 01559ce
1 parent 6f047c0
commit 01559ce
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/crates/sel4-microkit/base/src/symbols.rs b/crates/sel4-microkit/base/src/symbols.rs
@@ -183,5 +183,9 @@ pub fn ipc_buffer_ptr() -> *mut sel4::IpcBuffer {
         static mut __sel4_ipc_buffer_obj: sel4::IpcBuffer;
     }
 
-    ptr::addr_of_mut!(__sel4_ipc_buffer_obj)
+    // Only unsafe until 1.82
+    #[allow(unused_unsafe)]
+    unsafe {
+        ptr::addr_of_mut!(__sel4_ipc_buffer_obj)
+    }
 }