From 6dd5dd064e8e72168a0b743a54dc4ab5089d431e Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Sun, 6 Oct 2024 22:52:44 -0700
Subject: [PATCH] crates/sel4-microkit: Suppress warnings in macro expansions

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 crates/sel4-microkit/base/src/symbols.rs | 1 +
 crates/sel4-microkit/src/entry.rs        | 1 +
 2 files changed, 2 insertions(+)

diff --git a/crates/sel4-microkit/base/src/symbols.rs b/crates/sel4-microkit/base/src/symbols.rs
index a7cf6a48c..538f4bd06 100644
--- a/crates/sel4-microkit/base/src/symbols.rs
+++ b/crates/sel4-microkit/base/src/symbols.rs
@@ -12,6 +12,7 @@ macro_rules! var {
     ($(#[$attrs:meta])* $symbol:ident: $ty:ty = $default:expr) => {{
         use $crate::_private::ImmutableCell;
 
+        #[allow(non_upper_case_globals)]
         $(#[$attrs])*
         #[no_mangle]
         #[link_section = ".data"]
diff --git a/crates/sel4-microkit/src/entry.rs b/crates/sel4-microkit/src/entry.rs
index ea06c7bd0..27c1d2c00 100644
--- a/crates/sel4-microkit/src/entry.rs
+++ b/crates/sel4-microkit/src/entry.rs
@@ -54,6 +54,7 @@ extern "C" {
 #[macro_export]
 macro_rules! declare_init {
     ($init:expr) => {
+        #[allow(non_snake_case)]
         #[no_mangle]
         fn __sel4_microkit__main() -> ! {
             $crate::_private::run_main($init);