Browse Source

update dts.cc to make sv57 default maximum paging mode (#962)

pull/964/head
Alenkruth Murali 4 years ago
committed by GitHub
parent
commit
5b977379b4
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      riscv/dts.cc

2
riscv/dts.cc

@ -56,7 +56,7 @@ std::string make_dts(size_t insns_per_rtc_tick, size_t cpu_hz,
" status = \"okay\";\n"
" compatible = \"riscv\";\n"
" riscv,isa = \"" << procs[i]->get_isa().get_isa_string() << "\";\n"
" mmu-type = \"riscv," << (procs[i]->get_isa().get_max_xlen() <= 32 ? "sv32" : "sv48") << "\";\n"
" mmu-type = \"riscv," << (procs[i]->get_isa().get_max_xlen() <= 32 ? "sv32" : "sv57") << "\";\n"
" riscv,pmpregions = <16>;\n"
" riscv,pmpgranularity = <4>;\n"
" clock-frequency = <" << cpu_hz << ">;\n"

Loading…
Cancel
Save