diff --git a/core/shared/platform/nuttx/nuttx_platform.c b/core/shared/platform/nuttx/nuttx_platform.c
index 171adb344..7a28005d4 100644
--- a/core/shared/platform/nuttx/nuttx_platform.c
+++ b/core/shared/platform/nuttx/nuttx_platform.c
@@ -117,13 +117,17 @@ os_dcache_flush()
     && defined(CONFIG_ARCH_HAVE_TEXT_HEAP_SEPARATE_DATA_ADDRESS)
     up_textheap_data_sync();
 #endif
+#ifndef CONFIG_BUILD_KERNEL
     up_invalidate_dcache_all();
+#endif
 }
 
 void
 os_icache_flush(void *start, size_t len)
 {
+#ifndef CONFIG_BUILD_KERNEL
     up_invalidate_icache((uintptr_t)start, (uintptr_t)start + len);
+#endif
 }
 
 #if (WASM_MEM_DUAL_BUS_MIRROR != 0)