From 419377a8f8d7af5766d5b6b878363c133d69903c Mon Sep 17 00:00:00 2001
From: Noah Limpert <nlimpert@g.hmc.edu>
Date: Thu, 13 Apr 2023 16:59:10 -0700
Subject: [PATCH] git did not seem to add tests.vh, trying again

---
 testbench/tests.vh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/testbench/tests.vh b/testbench/tests.vh
index 55cf464fa..6a0f80276 100644
--- a/testbench/tests.vh
+++ b/testbench/tests.vh
@@ -52,7 +52,8 @@ string tvpaths[] = '{
     "fpu",
     "lsu",
     "vm64check",
-    "pmp"
+    "pmp",
+    "tlbKP"
   };
 
   string coremark[] = '{