diff --git a/core/shared/platform/baremetal/platform_init.c b/core/shared/platform/baremetal/platform_init.c
index 1614675a..cc182fce 100644
--- a/core/shared/platform/baremetal/platform_init.c
+++ b/core/shared/platform/baremetal/platform_init.c
@@ -32,51 +32,51 @@ bh_log_proc_mem(const char *function, uint32 line)
  * string
  ****************************************************/
 
-void *
-memcpy(void *restrict dest, const void *restrict src, size_t n)
-{
-    unsigned char *d = (unsigned char *)dest;
-    const unsigned char *s = (const unsigned char *)src;
-
-    while (n--)
-        *d++ = *s++;
-
-    return dest;
-}
-
-void *
-memmove(void *dest, const void *src, size_t n)
-{
-    unsigned char *d = (unsigned char *)dest;
-    const unsigned char *s = (const unsigned char *)src;
-
-    if (d == s || n == 0)
-        return dest;
-
-    if (d < s) {
-        /* forward copy */
-        while (n--)
-            *d++ = *s++;
-    }
-    else {
-        /* backward copy */
-        d += n;
-        s += n;
-        while (n--)
-            *--d = *--s;
-    }
-
-    return dest;
-}
-
-void *
-memset(void *dest, int c, size_t n)
-{
-    unsigned char *p = dest;
-    while (n--)
-        *p++ = (unsigned char)c;
-    return dest;
-}
+// void *
+// memcpy(void *restrict dest, const void *restrict src, size_t n)
+// {
+//     unsigned char *d = (unsigned char *)dest;
+//     const unsigned char *s = (const unsigned char *)src;
+//
+//     while (n--)
+//         *d++ = *s++;
+//
+//     return dest;
+// }
+//
+// void *
+// memmove(void *dest, const void *src, size_t n)
+// {
+//     unsigned char *d = (unsigned char *)dest;
+//     const unsigned char *s = (const unsigned char *)src;
+//
+//     if (d == s || n == 0)
+//         return dest;
+//
+//     if (d < s) {
+//         /* forward copy */
+//         while (n--)
+//             *d++ = *s++;
+//     }
+//     else {
+//         /* backward copy */
+//         d += n;
+//         s += n;
+//         while (n--)
+//             *--d = *--s;
+//     }
+//
+//     return dest;
+// }
+//
+// void *
+// memset(void *dest, int c, size_t n)
+// {
+//     unsigned char *p = dest;
+//     while (n--)
+//         *p++ = (unsigned char)c;
+//     return dest;
+// }
 
 /****************************************************
  * mman
diff --git a/core/shared/platform/baremetal/platform_internal.h b/core/shared/platform/baremetal/platform_internal.h
index ec3489bf..62cb59b1 100644
--- a/core/shared/platform/baremetal/platform_internal.h
+++ b/core/shared/platform/baremetal/platform_internal.h
@@ -81,12 +81,12 @@ os_getpagesize()
     return 4096;
 }
 
-void *
-memcpy(void *restrict dest, const void *restrict src, size_t n);
-void *
-memmove(void *dest, const void *src, size_t n);
-void *
-memset(void *dest, int c, size_t n);
+// void *
+// memcpy(void *restrict dest, const void *restrict src, size_t n);
+// void *
+// memmove(void *dest, const void *src, size_t n);
+// void *
+// memset(void *dest, int c, size_t n);
 
 #ifdef __cplusplus
 }