diff --git a/sdk/software/examples/asm/user-sample.c b/sdk/software/examples/asm/user-sample.c
index 2c5c29a..7b78f44 100644
--- a/sdk/software/examples/asm/user-sample.c
+++ b/sdk/software/examples/asm/user-sample.c
@@ -212,6 +212,7 @@ int main(void)
     }
 
     /* ── CRC32 over result region ─────────────────────────────── */
+    __asm__ __volatile__("" ::: "memory");  // flush write buffer
     crc = 0xFFFFFFFF;
     for (i = 0; i < RESULT_WORDS; i++) {
         uint32_t w = extram[DST_BASE + i];