From e08e97c17bb2902a47e68fdf4fd6d542b8f0e744 Mon Sep 17 00:00:00 2001
From: jon <jonwoodruff@gmail.com>
Date: Thu, 11 Jun 2020 15:59:19 +0100
Subject: [PATCH] Use the 80000000 entry point for RVFI_DII.

---
 src_Testbench/SoC/SoC_Map.bsv | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src_Testbench/SoC/SoC_Map.bsv b/src_Testbench/SoC/SoC_Map.bsv
index a037ae3..2ce4e70 100644
--- a/src_Testbench/SoC/SoC_Map.bsv
+++ b/src_Testbench/SoC/SoC_Map.bsv
@@ -69,10 +69,11 @@ SoC_Map_Struct {
    main_mem_addr_base:    'h_8000_0000,
 `ifdef RVFI_DII
    main_mem_addr_size:    'h_4000_0000,
+   pc_reset_value:        'h_8000_0000
 `else
    main_mem_addr_size:    'h_1000_0000,
-`endif
    pc_reset_value:        'h_0000_1000
+`endif
    };
 
 // ================================================================