From e526fea68a247532c49cd963cf605c1aa71f57bb Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Fri, 26 Aug 2022 22:13:10 -0700
Subject: [PATCH] fixed wally-config

---
 pipelined/config/rv64ic/wally-config.vh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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