wasm-micro-runtime/core/shared/platform/nuttx
Huang Qi 5bdbba0dbe
platform/nuttx: Fix dcache operation in os_dcache_flush (#4225)
Replace up_invalidate_dcache_all() with up_flush_dcache_all() in
os_dcache_flush() to properly flush the data cache instead of just
invalidating it. This ensures that any modified data in the cache
is written back to memory before execution.

Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
2025-05-06 06:55:53 +08:00
..
nuttx_platform.c platform/nuttx: Fix dcache operation in os_dcache_flush (#4225) 2025-05-06 06:55:53 +08:00
platform_internal.h Appease GCC strict prototypes warning (#3775) 2024-09-10 09:42:23 +08:00
shared_platform.cmake nuttx: Migrate NuttX CMake build for WAMR (#3256) 2024-04-02 08:53:30 +08:00