diff --git a/libsel4platsupport/src/arch/riscv/sel4_crt0.S b/libsel4platsupport/src/arch/riscv/sel4_crt0.S
index 45d4a62..4c1915d 100644
--- a/libsel4platsupport/src/arch/riscv/sel4_crt0.S
+++ b/libsel4platsupport/src/arch/riscv/sel4_crt0.S
@@ -89,7 +89,6 @@
     /* null terminate auxv */
     SW   x0, (8*REGSIZE)(sp)
     SW   x0, (9*REGSIZE)(sp)
-    SW   x0, (10*REGSIZE)(sp)
 
     /* Now go to actual _start */
     j       _start