diff options
Diffstat (limited to 'model/riscv_sys_control.sail')
| -rw-r--r-- | model/riscv_sys_control.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail index e866986..27c2566 100644 --- a/model/riscv_sys_control.sail +++ b/model/riscv_sys_control.sail @@ -444,6 +444,8 @@ function init_sys() -> unit = { minstret = EXTZ(0b0); minstret_written = false; + init_pmp(); + // log compatibility with spike print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(EXTZ(0b0) : xlenbits) ^ ")") } |