From ca3a01d7fc804d4d1cefd84fc68fa0043ea8bfc0 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Sun, 8 Mar 2026 13:31:52 +0100
Subject: [PATCH] baremetal: provide empty os_dcache_flush/os_icache_flush for
 wamr AOT build

---
 core/shared/platform/baremetal/platform_init.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/core/shared/platform/baremetal/platform_init.c b/core/shared/platform/baremetal/platform_init.c
index cc182fce..996f6dcb 100644
--- a/core/shared/platform/baremetal/platform_init.c
+++ b/core/shared/platform/baremetal/platform_init.c
@@ -1,5 +1,15 @@
 #include "platform_api_vmcore.h"
 
+void
+os_dcache_flush(void)
+{
+}
+
+void
+os_icache_flush(void *start, size_t len)
+{
+}
+
 int
 os_cond_init(korp_cond *cond)
 {