diff --git a/src/boot/util.c b/src/boot/util.c
index e0d2788c20..0e01fdf917 100644
--- a/src/boot/util.c
+++ b/src/boot/util.c
@@ -402,6 +402,8 @@ __attribute__((noinline)) void notify_debugger(const char *identity, volatile bo
                 asm volatile("pause");
 #  elif defined(__aarch64__)
                 asm volatile("wfi");
+#  elif defined(__riscv)
+                asm volatile(".insn i 0x0F, 0, x0, x0, 0x010");
 #  else
                 BS->Stall(5000);
 #  endif