From 0254ca7bf6458ad551a4f530acf507c207a7662c Mon Sep 17 00:00:00 2001
From: Thomas Fleming <tfleming@hmc.edu>
Date: Mon, 3 May 2021 21:58:32 -0400
Subject: [PATCH] Adjust attributes in PMA checker

---
 wally-pipelined/src/privileged/pmachecker.sv | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/wally-pipelined/src/privileged/pmachecker.sv b/wally-pipelined/src/privileged/pmachecker.sv
index 37c780c4..2526ec5e 100644
--- a/wally-pipelined/src/privileged/pmachecker.sv
+++ b/wally-pipelined/src/privileged/pmachecker.sv
@@ -66,9 +66,10 @@ module pmachecker (
 
   assign ValidBootTim = '1;
   assign ValidTim = '1;
-  assign ValidCLINT = ~ExecuteAccessF && (HSIZE == 3'b010);
+  assign ValidCLINT = ~ExecuteAccessF && ((HSIZE == 3'b011) || (HSIZE == 3'b010));
   assign ValidGPIO  = ~ExecuteAccessF && (HSIZE == 3'b010);
   assign ValidUART  = ~ExecuteAccessF && (HSIZE == 3'b000);
+  assign ValidPLIC  = ~ExecuteAccessF && (HSIZE == 3'b010);
 
   assign HSELBootTim = BootTim && ValidBootTim; 
   assign HSELTim     = Tim     && ValidTim;