diff --git a/firmware/ice40-riscv/e1-tracer/fw_app.c b/firmware/ice40-riscv/e1-tracer/fw_app.c
index b207ad2..c764b2e 100644
--- a/firmware/ice40-riscv/e1-tracer/fw_app.c
+++ b/firmware/ice40-riscv/e1-tracer/fw_app.c
@@ -55,8 +55,7 @@
 	usb_disconnect();
 
 	/* Boot firmware */
-	volatile uint32_t *boot = (void*)MISC_BASE;
-	*boot = (1 << 2) | (1 << 0);
+	reboot(1);
 }
 
 void