From c17a6d3786d3489734a4f52e3850466623a13e9a Mon Sep 17 00:00:00 2001
From: Sean Cross <sean@xobs.io>
Date: Fri, 28 Oct 2022 17:38:25 +0800
Subject: [PATCH] kernel: make SYSTEM_SERVICES unmangled

This symbol will be viewed by external tools.

Signed-off-by: Sean Cross <sean@xobs.io>
---
 kernel/src/services.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/src/services.rs b/kernel/src/services.rs
index cbfd0d5c3..bb9033b63 100644
--- a/kernel/src/services.rs
+++ b/kernel/src/services.rs
@@ -264,6 +264,7 @@ std::thread_local!(static SYSTEM_SERVICES: core::cell::RefCell<SystemServices> =
 }));
 
 #[cfg(baremetal)]
+#[no_mangle]
 static mut SYSTEM_SERVICES: SystemServices = SystemServices {
     processes: [Process {
         state: ProcessState::Free,