Add RVFI DII version of the RISC-V simulator for TestRIG

The new riscv_rvfi target should still be usable as a normal simulator,
but also has extra registers in the model for the RVFI DII protocol and
code to update them, and the driver has a -r option to enable RVFI mode.

1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 3ad05e9d..b222fe26 100644
--- a/.gitignore
+++ b/.gitignore
@@ -92,8 +92,10 @@ lib/hol/sail-heap
 /riscv/platform
 /riscv/riscv.c
 /riscv/riscv_model.c
+/riscv/riscv_rvfi_model.c
 /riscv/riscv_c
 /riscv/riscv_sim
+/riscv/riscv_rvfi
 
 /x86/x86.lem
 /x86/x86.ml