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