diff --git a/pipelined/config/rv64ic/wally-config.vh b/pipelined/config/rv64ic/wally-config.vh
index d9f37fb5e..e820e57cf 100644
--- a/pipelined/config/rv64ic/wally-config.vh
+++ b/pipelined/config/rv64ic/wally-config.vh
@@ -94,10 +94,10 @@
 // *** each of these is `PA_BITS wide. is this paramaterizable INSIDE the config file?
 `define DTIM_SUPPORTED 1'b1
 `define DTIM_BASE       56'h80000000
-`define DTIM_RANGE      56'h7FFFFFFF
+`define DTIM_RANGE      56'h007FFFFF
 `define IROM_SUPPORTED 1'b1
 `define IROM_BASE       56'h80000000
-`define IROM_RANGE      56'h7FFFFFFF
+`define IROM_RANGE      56'h007FFFFF
 `define BOOTROM_SUPPORTED 1'b0
 `define BOOTROM_BASE   56'h00001000 // spec had been 0x1000 to 0x2FFF, but dh truncated to 0x1000 to 0x1FFF because upper half seems to be all zeros and this is easier for decoder
 `define BOOTROM_RANGE  56'h00000FFF