From 5b977379b4b4aa79b831193d0313055bbe1e7fe9 Mon Sep 17 00:00:00 2001
From: Alenkruth Murali <alenkruth@gmail.com>
Date: Sat, 2 Apr 2022 00:03:51 +0530
Subject: [PATCH] update dts.cc to make sv57 default maximum paging mode (#962)

---
 riscv/dts.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/riscv/dts.cc b/riscv/dts.cc
index c86fc2fd..6b47c764 100644
--- a/riscv/dts.cc
+++ b/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"