From 9c005861219d054102e12e0b3af482daeaf36c90 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Wed, 28 Jan 2026 18:54:18 +0100
Subject: [PATCH] baremetal: add baremetal platform

---
 CMakeLists.txt                                |   2 +-
 .../shared/platform/baremetal/platform_init.c |  39 +++++++
 .../platform/baremetal/platform_internal.h    | 108 ++++++++++++++++++
 .../platform/baremetal/shared_platform.cmake  |  12 ++
 4 files changed, 160 insertions(+), 1 deletion(-)
 create mode 100644 core/shared/platform/baremetal/platform_init.c
 create mode 100644 core/shared/platform/baremetal/platform_internal.h
 create mode 100644 core/shared/platform/baremetal/shared_platform.cmake

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 4b28fa89..6031b7c9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -150,7 +150,7 @@ endif ()
 include (${SHARED_DIR}/utils/uncommon/shared_uncommon.cmake)
 
 set (THREADS_PREFER_PTHREAD_FLAG ON)
-find_package(Threads REQUIRED)
+# find_package(Threads REQUIRED)
 
 add_library (vmlib ${WAMR_RUNTIME_LIB_SOURCE})
 set_target_properties (vmlib PROPERTIES OUTPUT_NAME iwasm)
diff --git a/core/shared/platform/baremetal/platform_init.c b/core/shared/platform/baremetal/platform_init.c
new file mode 100644
index 00000000..dda96ff4
--- /dev/null
+++ b/core/shared/platform/baremetal/platform_init.c
@@ -0,0 +1,39 @@
+#include "platform_api_vmcore.h"
+
+int
+bh_platform_init()
+{
+    return 0;
+}
+
+void
+bh_platform_destroy()
+{
+}
+
+int
+os_printf(const char *format, ...)
+{
+    int ret = 0;
+    va_list ap;
+
+    va_start(ap, format);
+#ifndef BH_VPRINTF
+    ret += vprintf(format, ap);
+#else
+    ret += BH_VPRINTF(format, ap);
+#endif
+    va_end(ap);
+
+    return ret;
+}
+
+int
+os_vprintf(const char *format, va_list ap)
+{
+#ifndef BH_VPRINTF
+    return vprintf(format, ap);
+#else
+    return BH_VPRINTF(format, ap);
+#endif
+}
diff --git a/core/shared/platform/baremetal/platform_internal.h b/core/shared/platform/baremetal/platform_internal.h
new file mode 100644
index 00000000..bc613bc6
--- /dev/null
+++ b/core/shared/platform/baremetal/platform_internal.h
@@ -0,0 +1,108 @@
+#ifndef _PLATFORM_INTERNAL_H
+#define _PLATFORM_INTERNAL_H
+
+#include <inttypes.h>
+#include <stdbool.h>
+#include <assert.h>
+#include <time.h>
+#include <string.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <math.h>
+// #include <stdarg.h>
+// #include <ctype.h>
+// #include <pthread.h>
+// #include <signal.h>
+// #include <semaphore.h>
+// #include <limits.h>
+// #include <dirent.h>
+// #include <fcntl.h>
+// #include <unistd.h>
+// #include <poll.h>
+// #include <sched.h>
+// #include <errno.h>
+// #include <sys/types.h>
+// #include <sys/stat.h>
+// #include <sys/mman.h>
+// #include <sys/time.h>
+// #include <sys/timeb.h>
+// #include <sys/uio.h>
+// #include <sys/ioctl.h>
+// #include <sys/socket.h>
+// #include <sys/resource.h>
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+#ifndef BH_PLATFORM_BAREMETAL
+#define BH_PLATFORM_BAREMETAL
+#endif
+
+/* Stack size of applet threads's native part.  */
+#define BH_APPLET_PRESERVED_STACK_SIZE (32 * 1024)
+
+/* Default thread priority */
+#define BH_THREAD_DEFAULT_PRIORITY 0
+
+// typedef pthread_t korp_tid;
+// typedef pthread_mutex_t korp_mutex;
+// typedef pthread_cond_t korp_cond;
+// typedef pthread_t korp_thread;
+// typedef pthread_rwlock_t korp_rwlock;
+// typedef sem_t korp_sem;
+
+#define OS_THREAD_MUTEX_INITIALIZER PTHREAD_MUTEX_INITIALIZER
+
+#define os_thread_local_attribute __thread
+
+// typedef int os_file_handle;
+// typedef DIR *os_dir_stream;
+// typedef int os_raw_file_handle;
+
+#if WASM_DISABLE_HW_BOUND_CHECK == 0
+#if defined(BUILD_TARGET_X86_64) || defined(BUILD_TARGET_AMD_64) \
+    || defined(BUILD_TARGET_AARCH64)
+
+#include <setjmp.h>
+
+#define OS_ENABLE_HW_BOUND_CHECK
+
+typedef jmp_buf korp_jmpbuf;
+
+#define os_setjmp setjmp
+#define os_longjmp longjmp
+#define os_alloca alloca
+
+typedef void (*os_signal_handler)(void *sig_addr);
+
+int
+os_thread_signal_init(os_signal_handler handler);
+
+void
+os_thread_signal_destroy();
+
+bool
+os_thread_signal_inited();
+
+void
+os_signal_unmask();
+
+void
+os_sigreturn();
+#endif /* end of BUILD_TARGET_X86_64/AMD_64/AARCH64 */
+#endif /* end of WASM_DISABLE_HW_BOUND_CHECK */
+
+#define os_getpagesize getpagesize
+
+// static inline os_file_handle
+// os_get_invalid_handle(void)
+// {
+//     return -1;
+// }
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif /* end of _PLATFORM_INTERNAL_H */
diff --git a/core/shared/platform/baremetal/shared_platform.cmake b/core/shared/platform/baremetal/shared_platform.cmake
new file mode 100644
index 00000000..a123d693
--- /dev/null
+++ b/core/shared/platform/baremetal/shared_platform.cmake
@@ -0,0 +1,12 @@
+set (PLATFORM_SHARED_DIR ${CMAKE_CURRENT_LIST_DIR})
+
+add_definitions(-DBH_PLATFORM_BAREMETAL)
+
+include_directories(${PLATFORM_SHARED_DIR})
+include_directories(${PLATFORM_SHARED_DIR}/../include)
+
+file (GLOB_RECURSE source_all ${PLATFORM_SHARED_DIR}/*.c)
+set (PLATFORM_SHARED_SOURCE ${source_all})
+
+file (GLOB header ${PLATFORM_SHARED_DIR}/../include/baremetal/*.h)
+LIST (APPEND RUNTIME_LIB_HEADER_LIST ${header})