Spike : mtvec doesn't support vectored mode for cv32a65x (#2729)

This is a spike fix for cv32a65x config. Co-authored-by: JeanRochCoulon <[email protected]>
openhwgroup · Jan 22, 2025 · c19a3c1 · c19a3c1
1 parent 45aa060
commit c19a3c1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/config/gen_from_riscv_config/cv32a65x/spike/spike.yaml b/config/gen_from_riscv_config/cv32a65x/spike/spike.yaml
@@ -52,6 +52,7 @@ spike_param_tree:
       pmpaddr5_write_mask: 0xFFFFFFFE
       pmpaddr6_write_mask: 0xFFFFFFFE
       pmpaddr7_write_mask: 0xFFFFFFFE
+      mtvec_write_mask: 0xFFFFFFFE
       mhartid: 0
       mvendorid_override_mask : 0xFFFFFFFF
       mvendorid_override_value: 1538