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