Fix riscv-config isa yaml for compatability with latest RISCOF for PMP

This commit is contained in:
Jordan Carlin 2025-05-13 00:55:56 -07:00
parent 24c605a9fc
commit 544f3b4af9
No known key found for this signature in database
3 changed files with 75 additions and 66 deletions

View file

@ -1,29 +1,33 @@
hart_ids: [0] hart_ids: [0]
hart0: hart0:
ISA: RV32EMCZicsr_Zifencei_Zbkc ISA: RV32EMCZicsr_Zifencei
physical_addr_sz: 32 physical_addr_sz: 32
User_Spec_Version: '2.3' User_Spec_Version: '2.3'
supported_xlen: [32] supported_xlen: [32]
misa: misa:
reset-val: 0x40001014 reset-val: 0x40001014
rv32: rv32:
accessible: true accessible: true
mxl: mxl:
implemented: true implemented: true
type: type:
warl: warl:
dependency_fields: [] dependency_fields: []
legal: legal:
- mxl[1:0] in [0x1] - mxl[1:0] in [0x1]
wr_illegal: wr_illegal:
- Unchanged - Unchanged
extensions: extensions:
implemented: true implemented: true
type: type:
warl: warl:
dependency_fields: [] dependency_fields: []
legal: legal:
- extensions[25:0] bitmask [0x0001034, 0x0000000] - extensions[25:0] bitmask [0x0001034, 0x0000000]
wr_illegal: wr_illegal:
- Unchanged - Unchanged
PMP:
implemented: False
pmp-grain: 0
pmp-count: 0
pmp-writable: 0

View file

@ -1,29 +1,33 @@
hart_ids: [0] hart_ids: [0]
hart0: hart0:
# ISA: RV32IMAFDCZicboz_Zicsr_Zicond_Zifencei_Zfa_Zfh_Zca_Zcb_Zba_Zbb_Zbc_Zbkb_Zbkc_Zbkx_Zbs_Zknd_Zkne_Zknh
ISA: RV32IMAFDCSUZicsr_Zicond_Zifencei_Zfa_Zfh_Zca_Zcb_Zcd_Zcf_Zba_Zbb_Zbc_Zbkb_Zbkc_Zbkx_Zbs_Zknd_Zkne_Zknh ISA: RV32IMAFDCSUZicsr_Zicond_Zifencei_Zfa_Zfh_Zca_Zcb_Zcd_Zcf_Zba_Zbb_Zbc_Zbkb_Zbkc_Zbkx_Zbs_Zknd_Zkne_Zknh
physical_addr_sz: 32 physical_addr_sz: 32
User_Spec_Version: '2.3' User_Spec_Version: '2.3'
supported_xlen: [32] supported_xlen: [32]
misa: misa:
reset-val: 0x4014112D reset-val: 0x4014112D
rv32: rv32:
accessible: true accessible: true
mxl: mxl:
implemented: true implemented: true
type: type:
warl: warl:
dependency_fields: [] dependency_fields: []
legal: legal:
- mxl[1:0] in [0x1] - mxl[1:0] in [0x1]
wr_illegal: wr_illegal:
- Unchanged - Unchanged
extensions: extensions:
implemented: true implemented: true
type: type:
warl: warl:
dependency_fields: [] dependency_fields: []
legal: legal:
- extensions[25:0] bitmask [0x014112D, 0x0000000] - extensions[25:0] bitmask [0x014112D, 0x0000000]
wr_illegal: wr_illegal:
- Unchanged - Unchanged
PMP:
implemented: True
pmp-grain: 0
pmp-count: 16
pmp-writable: 12

View file

@ -1,34 +1,35 @@
hart_ids: [0] hart_ids: [0]
hart0: hart0:
# ISA: RV64IMAFDQCSUZicboz_Zicsr_Zicond_Zifencei_Zfa_Zfh_Zca_Zcb_Zba_Zbb_Zbc_Zbkb_Zbkc_Zbkx_Zbs_Zknd_Zkne_Zknh
ISA: RV64IMAFDCSUZicsr_Zicond_Zifencei_Zfa_Zfh_Zca_Zcb_Zcd_Zba_Zbb_Zbc_Zbkb_Zbkc_Zbkx_Zbs_Zknd_Zkne_Zknh ISA: RV64IMAFDCSUZicsr_Zicond_Zifencei_Zfa_Zfh_Zca_Zcb_Zcd_Zba_Zbb_Zbc_Zbkb_Zbkc_Zbkx_Zbs_Zknd_Zkne_Zknh
# ISA: RV64IMAFDQCSUZicsr_Zicond_Zifencei_Zfa_Zfh_Zca_Zcb_Zba_Zbb_Zbc_Zbkb_Zbkc_Zbkx_Zbs_Zknd_Zkne_Zknh
physical_addr_sz: 56 physical_addr_sz: 56
User_Spec_Version: '2.3' User_Spec_Version: '2.3'
supported_xlen: [64] supported_xlen: [64]
misa: misa:
reset-val: 0x800000000014112D reset-val: 0x800000000014112D
# reset-val: 0x800000000015112D rv32:
rv32:
accessible: false accessible: false
rv64: rv64:
accessible: true accessible: true
mxl: mxl:
implemented: true implemented: true
type: type:
warl: warl:
dependency_fields: [] dependency_fields: []
legal: legal:
- mxl[1:0] in [0x2] - mxl[1:0] in [0x2]
wr_illegal: wr_illegal:
- Unchanged - Unchanged
extensions: extensions:
implemented: true implemented: true
type: type:
warl: warl:
dependency_fields: [] dependency_fields: []
legal: legal:
- extensions[25:0] bitmask [0x015112D, 0x0000000] - extensions[25:0] bitmask [0x015112D, 0x0000000]
wr_illegal: wr_illegal:
- Unchanged - Unchanged
PMP:
implemented: True
pmp-grain: 0
pmp-count: 16
pmp-writable: 12