From c3cde721aeb1648d3e87c6c8172edf4f78926391 Mon Sep 17 00:00:00 2001
From: Zain2050 <zainzahid2050@gmail.com>
Date: Sun, 13 Apr 2025 05:37:38 -0700
Subject: [PATCH] Enabled PMP32

---
 config/rv32gc/coverage.svh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index e37024667..e506015e7 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -45,6 +45,7 @@
 // Privileged extensions
 `define RV32VM_COVERAGE
 `define RV32VM_PMP_COVERAGE
+`define RV32PMP_COVERAGE
 `define ZICSRM_COVERAGE
 `define ZICSRS_COVERAGE
 `define ZICSRU_COVERAGE