diff --git a/wally-pipelined/config/rv32ic/wally-config.vh b/wally-pipelined/config/rv32ic/wally-config.vh
index 68765c6c4..090da8d62 100644
--- a/wally-pipelined/config/rv32ic/wally-config.vh
+++ b/wally-pipelined/config/rv32ic/wally-config.vh
@@ -67,7 +67,7 @@
 `define BOOTTIM_RANGE  34'h00000FFF
 `define TIM_SUPPORTED 1'b1
 `define TIM_BASE       34'h80000000
-`define TIM_RANGE      34'h7FFFFFFF
+`define TIM_RANGE      34'h07FFFFFF
 `define CLINT_SUPPORTED 1'b1
 `define CLINT_BASE  34'h02000000
 `define CLINT_RANGE 34'h0000FFFF
diff --git a/wally-pipelined/config/rv64ic/wally-config.vh b/wally-pipelined/config/rv64ic/wally-config.vh
index 56bfade59..44a90e1c2 100644
--- a/wally-pipelined/config/rv64ic/wally-config.vh
+++ b/wally-pipelined/config/rv64ic/wally-config.vh
@@ -73,7 +73,7 @@
 `define BOOTTIM_RANGE  56'h00000FFF
 `define TIM_SUPPORTED 1'b1
 `define TIM_BASE       56'h80000000
-`define TIM_RANGE      56'h7FFFFFFF
+`define TIM_RANGE      56'h07FFFFFF
 `define CLINT_SUPPORTED 1'b1
 `define CLINT_BASE  56'h02000000
 `define CLINT_RANGE 56'h0000FFFF