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,