From a75db78425c0e864b5ae897aefbe85024952b744 Mon Sep 17 00:00:00 2001
From: Eyck-Alexander Jentzsch <alex@minres.com>
Date: Tue, 10 Mar 2026 21:02:29 +0100
Subject: [PATCH] adds ipi functionality

---
 port/moonlight/aclint_ipi.h                       | 12 ++++++++++++
 port/threadx_smp/src/tx_thread_smp_core_preempt.c |  6 ++++++
 2 files changed, 18 insertions(+)
 create mode 100644 port/moonlight/aclint_ipi.h
 create mode 100644 port/threadx_smp/src/tx_thread_smp_core_preempt.c

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