diff options
Diffstat (limited to 'model/riscv_step_rvfi.sail')
| -rw-r--r-- | model/riscv_step_rvfi.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/model/riscv_step_rvfi.sail b/model/riscv_step_rvfi.sail index f594c00..0efcdce 100644 --- a/model/riscv_step_rvfi.sail +++ b/model/riscv_step_rvfi.sail @@ -19,5 +19,6 @@ function ext_init() = { rvfi_zero_exec_packet(); rvfi_halt_exec_packet(); let _ = rvfi_get_exec_packet(); + ext_rvfi_init(); () } |