diff --git a/port/moonlight/aclint_ipi.h b/port/moonlight/aclint_ipi.h
new file mode 100644
index 0000000..bed9eb6
--- /dev/null
+++ b/port/moonlight/aclint_ipi.h
@@ -0,0 +1,12 @@
+#ifndef _DEVICES_ACLINT_IPI
+#define _DEVICES_ACLINT_IPI
+
+#include "gen/aclint.h"
+#include "platform.h"
+#include <stdint.h>
+
+static void send_ipi(uint32_t target_core)
+{
+    set_aclint_msip(aclint, target_core, 1);
+}
+#endif /* _DEVICES_ACLINT_IPI */
diff --git a/port/threadx_smp/src/tx_thread_smp_core_preempt.c b/port/threadx_smp/src/tx_thread_smp_core_preempt.c
new file mode 100644
index 0000000..cf11396
--- /dev/null
+++ b/port/threadx_smp/src/tx_thread_smp_core_preempt.c
@@ -0,0 +1,6 @@
+#include <aclint_ipi.h>
+#include <tx_port.h>
+void _tx_thread_smp_core_preempt(UINT target_core)
+{
+    send_ipi(target_core);
+}
\ No newline at end of file