diff --git a/rtl/ibex_core_tracing.sv b/rtl/ibex_core_tracing.sv
index be89d6c7..57a58738 100644
--- a/rtl/ibex_core_tracing.sv
+++ b/rtl/ibex_core_tracing.sv
@@ -7,10 +7,13 @@
  * Top level module of the ibex RISC-V core with tracing enabled
  */
 module ibex_core_tracing #(
+    parameter bit          PMPEnable        = 1'b0,
+    parameter int unsigned PMPGranularity   = 0,
+    parameter int unsigned PMPNumRegions    = 4,
     parameter int unsigned MHPMCounterNum   = 8,
     parameter int unsigned MHPMCounterWidth = 40,
-    parameter bit RV32E                     = 1'b0,
-    parameter bit RV32M                     = 1'b1,
+    parameter bit          RV32E            = 1'b0,
+    parameter bit          RV32M            = 1'b1,
     parameter int unsigned DmHaltAddr       = 32'h1A110800,
     parameter int unsigned DmExceptionAddr  = 32'h1A110808
 ) (
@@ -87,6 +90,9 @@ module ibex_core_tracing #(
   logic [31:0] rvfi_mem_wdata;
 
   ibex_core #(
+    .PMPEnable(PMPEnable),
+    .PMPGranularity(PMPGranularity),
+    .PMPNumRegions(PMPNumRegions),
     .MHPMCounterNum(MHPMCounterNum),
     .MHPMCounterWidth(MHPMCounterWidth),
     .RV32E(RV32E),