From c105c4c720e945570311ca2f804219346cdc5826 Mon Sep 17 00:00:00 2001
From: Corey Hickson <chickson@hmc.edu>
Date: Sun, 24 Nov 2024 17:04:12 -0800
Subject: [PATCH] restored clint base for interrupt tests

---
 config/rv32gc/coverage.svh | 1 +
 config/rv64gc/coverage.svh | 1 +
 2 files changed, 2 insertions(+)

diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index b05362f8d..0403b7e4b 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -10,6 +10,7 @@
 
 // Define relevant addresses
 `define ACCESS_FAULT_ADDRESS 32'h0000
+`define CLINT_BASE 64'h02000000
 
 // Unprivileged extensions
 `include "RV32I_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index 85abee104..e7c574020 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -10,6 +10,7 @@
 
 // Define relevant addresses
 `define ACCESS_FAULT_ADDRESS 64'h00000000
+`define CLINT_BASE 64'h02000000
 
 // Unprivileged extensions
 `include "RV64I_coverage.svh"