diff --git a/picorv32.v b/picorv32.v
index 90aaa80..dee38e4 100644
--- a/picorv32.v
+++ b/picorv32.v
@@ -2395,6 +2395,8 @@ module picorv32_axi #(
 	output [63:0] rvfi_order,
 	output [31:0] rvfi_insn,
 	output        rvfi_trap,
+	output        rvfi_halt,
+	output        rvfi_intr,
 	output [ 4:0] rvfi_rs1_addr,
 	output [ 4:0] rvfi_rs2_addr,
 	output [31:0] rvfi_rs1_rdata,
@@ -2507,6 +2509,8 @@ module picorv32_axi #(
 		.rvfi_order    (rvfi_order    ),
 		.rvfi_insn     (rvfi_insn     ),
 		.rvfi_trap     (rvfi_trap     ),
+		.rvfi_halt     (rvfi_halt     ),
+		.rvfi_intr     (rvfi_intr     ),
 		.rvfi_rs1_addr (rvfi_rs1_addr ),
 		.rvfi_rs2_addr (rvfi_rs2_addr ),
 		.rvfi_rs1_rdata(rvfi_rs1_rdata),
@@ -2677,6 +2681,8 @@ module picorv32_wb #(
 	output [63:0] rvfi_order,
 	output [31:0] rvfi_insn,
 	output        rvfi_trap,
+	output        rvfi_halt,
+	output        rvfi_intr,
 	output [ 4:0] rvfi_rs1_addr,
 	output [ 4:0] rvfi_rs2_addr,
 	output [31:0] rvfi_rs1_rdata,
@@ -2767,6 +2773,8 @@ module picorv32_wb #(
 		.rvfi_order    (rvfi_order    ),
 		.rvfi_insn     (rvfi_insn     ),
 		.rvfi_trap     (rvfi_trap     ),
+		.rvfi_halt     (rvfi_halt     ),
+		.rvfi_intr     (rvfi_intr     ),
 		.rvfi_rs1_addr (rvfi_rs1_addr ),
 		.rvfi_rs2_addr (rvfi_rs2_addr ),
 		.rvfi_rs1_rdata(rvfi_rs1_rdata),