diff --git a/pipelined/config/buildroot/wally-config.vh b/pipelined/config/buildroot/wally-config.vh
index 440aa0b15..defbf458d 100644
--- a/pipelined/config/buildroot/wally-config.vh
+++ b/pipelined/config/buildroot/wally-config.vh
@@ -86,11 +86,11 @@
 // Peripheral memory space extends from BASE to BASE+RANGE
 // Range should be a thermometer code with 0's in the upper bits and 1s in the lower bits
 `define DTIM_SUPPORTED 1'b0
-`define DTIM_BASE       34'h80000000
-`define DTIM_RANGE      34'h00001FFF
+`define DTIM_BASE       56'h80000000
+`define DTIM_RANGE      56'h00001FFF
 `define IROM_SUPPORTED 1'b0
-`define IROM_BASE       34'h80000000
-`define IROM_RANGE      34'h00001FFF
+`define IROM_BASE       56'h80000000
+`define IROM_RANGE      56'h00001FFF
 `define BOOTROM_SUPPORTED 1'b1
 `define BOOTROM_BASE   56'h00001000 
 `define BOOTROM_RANGE  56'h00000FFF
diff --git a/pipelined/config/fpga/wally-config.vh b/pipelined/config/fpga/wally-config.vh
index 1e3f330ef..8d9ff7e15 100644
--- a/pipelined/config/fpga/wally-config.vh
+++ b/pipelined/config/fpga/wally-config.vh
@@ -88,11 +88,11 @@
 // Peripheral memory space extends from BASE to BASE+RANGE
 // Range should be a thermometer code with 0's in the upper bits and 1s in the lower bits
 `define DTIM_SUPPORTED 1'b0
-`define DTIM_BASE       34'h80000000
-`define DTIM_RANGE      34'h00001FFF
+`define DTIM_BASE       56'h80000000
+`define DTIM_RANGE      56'h00001FFF
 `define IROM_SUPPORTED 1'b0
-`define IROM_BASE       34'h80000000
-`define IROM_RANGE      34'h00001FFF
+`define IROM_BASE       56'h80000000
+`define IROM_RANGE      56'h00001FFF
 
 `define BOOTROM_SUPPORTED 1'b1
 `define BOOTROM_BASE   56'h00001000