diff --git a/src/ariel-os-embassy/src/thread_executor.rs b/src/ariel-os-embassy/src/thread_executor.rs
index 342a3363a..793430ed3 100644
--- a/src/ariel-os-embassy/src/thread_executor.rs
+++ b/src/ariel-os-embassy/src/thread_executor.rs
@@ -12,7 +12,8 @@ use embassy_executor::{raw, Spawner};
 // doesn't matter.
 const THREAD_FLAG_WAKEUP: ThreadFlags = 0x01;
 
-#[export_name = "__pender"]
+// This name is required by embassy-executor.
+#[no_mangle]
 fn __pender(context: *mut ()) {
     // SAFETY: `context` is a `ThreadId` passed by `ThreadExecutor::new`.
     let thread_id = ThreadId::new(context as usize as u8);