From 45b80f985a6c8765b014c907fb1e59fa1b4d63f4 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 6 Jun 2017 20:27:45 +0200
Subject: [PATCH] Add rvfi_halt and rvfi_intr ports

---
 picorv32.v | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/picorv32.v b/picorv32.v
index a1eebbd..ff14786 100644
--- a/picorv32.v
+++ b/picorv32.v
@@ -112,6 +112,8 @@ module picorv32 #(
 	output reg [ 7:0] rvfi_order,
 	output reg [31:0] rvfi_insn,
 	output reg        rvfi_trap,
+	output reg        rvfi_halt,
+	output reg        rvfi_intr,
 	output reg [ 4:0] rvfi_rs1_addr,
 	output reg [ 4:0] rvfi_rs2_addr,
 	output reg [31:0] rvfi_rs1_rdata,
@@ -1912,6 +1914,8 @@ module picorv32 #(
 		rvfi_rs1_rdata <= dbg_rs1val_valid ? dbg_rs1val : 0;
 		rvfi_rs2_rdata <= dbg_rs2val_valid ? dbg_rs2val : 0;
 		rvfi_trap <= trap;
+		rvfi_halt <= trap;
+		rvfi_intr <= 0;
 
 		if (!resetn) begin
 			rvfi_rd_addr <= 0;