From 5a37dafec1af10263a46689b94c8099c335b332d Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Mon, 10 Mar 2025 09:56:04 +0100
Subject: [PATCH] preserve user attributes

---
 embassy-executor-macros/src/macros/main.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/embassy-executor-macros/src/macros/main.rs b/embassy-executor-macros/src/macros/main.rs
index a774cf622..24f61f30b 100644
--- a/embassy-executor-macros/src/macros/main.rs
+++ b/embassy-executor-macros/src/macros/main.rs
@@ -155,6 +155,11 @@ pub fn run(args: TokenStream, item: TokenStream, arch: &Arch) -> TokenStream {
         ),
     };
 
+    let mut main_attrs = TokenStream::new();
+    for attr in f.attrs {
+        main_attrs.extend(quote!(#attr));
+    }
+
     if !errors.is_empty() {
         main_body = quote! {loop{}};
     }
@@ -167,6 +172,7 @@ pub fn run(args: TokenStream, item: TokenStream, arch: &Arch) -> TokenStream {
         }
 
         #entry
+        #main_attrs
         fn main() -> #main_ret {
             #main_body
         }