From 57ae8619f81b604aacca505e5561d95ba5467ec8 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 16 Nov 2020 14:51:30 +0800
Subject: [PATCH] remove unnecessary no_mangle

no_mangle does nothing on extern items as per https://github.com/rust-lang/rust/issues/78989#issuecomment-726163973

Closes #115
---
 src/runtime/src/kernel/core1.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/runtime/src/kernel/core1.rs b/src/runtime/src/kernel/core1.rs
index 94e0e242..9a041e0e 100644
--- a/src/runtime/src/kernel/core1.rs
+++ b/src/runtime/src/kernel/core1.rs
@@ -29,13 +29,9 @@ use super::{
 
 // linker symbols
 extern "C" {
-    #[no_mangle]
     static __text_start: u32;
-    #[no_mangle]
     static __text_end: u32;
-    #[no_mangle]
     static __exidx_start: u32;
-    #[no_mangle]
     static __exidx_end: u32;
 }