diff --git a/litex/soc/cores/cpu/zynq7000/boot-helper.S b/litex/soc/cores/cpu/zynq7000/boot-helper.S
deleted file mode 100644
index 4a0248f93..000000000
--- a/litex/soc/cores/cpu/zynq7000/boot-helper.S
+++ /dev/null
@@ -1,3 +0,0 @@
-.global     boot_helper
-boot_helper:
-    nop  // FIXME
diff --git a/litex/soc/cores/cpu/zynq7000/boot-helper.c b/litex/soc/cores/cpu/zynq7000/boot-helper.c
new file mode 100644
index 000000000..4dd8ae2d3
--- /dev/null
+++ b/litex/soc/cores/cpu/zynq7000/boot-helper.c
@@ -0,0 +1,5 @@
+void boot_helper(unsigned long r1, unsigned long r2, unsigned long r3, unsigned long addr);
+
+void boot_helper(unsigned long r1, unsigned long r2, unsigned long r3, unsigned long addr) {
+    goto *addr;
+}