baremetal: provide empty os_dcache_flush/os_icache_flush for wamr AOT build

2026-03-08 13:31:52 +01:00
parent 0002e68b1c
commit ca3a01d7fc
1 changed files with 10 additions and 0 deletions
--- 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)
 {