diff --git a/examples/riscv32/rv32emu/boardsupport.c b/examples/riscv32/rv32emu/boardsupport.c
new file mode 100644
index 00000000..c8498c43
--- /dev/null
+++ b/examples/riscv32/rv32emu/boardsupport.c
@@ -0,0 +1,24 @@
+/* SPDX-License-Identifier: GPL-3.0-or-later */
+
+#include <support.h>
+
+void
+initialise_board(void)
+{
+}
+
+void __attribute__((noinline)) __attribute__((externally_visible))
+start_trigger(void)
+{
+#if defined(__riscv)
+    __asm__ volatile("li a0, 0" : : : "memory");
+#endif
+}
+
+void __attribute__((noinline)) __attribute__((externally_visible))
+stop_trigger(void)
+{
+#if defined(__riscv)
+    __asm__ volatile("li a0, 0" : : : "memory");
+#endif
+}
diff --git a/examples/riscv32/rv32emu/boardsupport.h b/examples/riscv32/rv32emu/boardsupport.h
new file mode 100644
index 00000000..9def3a33
--- /dev/null
+++ b/examples/riscv32/rv32emu/boardsupport.h
@@ -0,0 +1 @@
+/* SPDX-License-Identifier: GPL-3.0-or-later */