From 01559cee1791e1abfcbea34a1763ee3e4fba373d Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Wed, 30 Oct 2024 14:34:45 -0700 Subject: [PATCH] crates/sel4-microkit: Improve toolchain compatibility Signed-off-by: Nick Spinale --- crates/sel4-microkit/base/src/symbols.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/crates/sel4-microkit/base/src/symbols.rs b/crates/sel4-microkit/base/src/symbols.rs index 554230c7d..80e037857 100644 --- 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) + } }