From def3b46afacf3a1142462a37b383240e7c618cad Mon Sep 17 00:00:00 2001
From: Corey Hickson <chickson@hmc.edu>
Date: Sat, 16 Nov 2024 14:13:54 -0800
Subject: [PATCH] Add ZicsrU to fcov

---
 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 ba876f6b7..afd34306e 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -33,5 +33,6 @@
 // Privileged extensions
 `include "ZicsrM_coverage.svh"
 `include "ZicsrF_coverage.svh"
+`include "ZicsrU_coverage.svh"
 `include "RV32VM_coverage.svh"
 `include "RV32VM_PMP_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index 901616311..6108376f9 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -34,6 +34,7 @@
 `include "RV64VM_coverage.svh"
 `include "ZicsrM_coverage.svh"
 `include "ZicsrF_coverage.svh"
+`include "ZicsrU_coverage.svh"
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"
 // `include "RV64CBO_PMP_coverage.svh"