From 0fea35ddfba2d4be1912da16fc273ddc2000cd86 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Tue, 17 Dec 2024 14:56:06 -0800
Subject: [PATCH] Set dcsr.xdebugver to 4, as it ought to be

See discusson on #1878.  This restores the behavior prior to
ec292be4fdac9685c9d6f2f209b73743c2e573f7, which inadvertently changed
the value to 1.

Resolves #1878
---
 riscv/csrs.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/riscv/csrs.cc b/riscv/csrs.cc
index 83b9a4425..0e2e3e12d 100644
--- a/riscv/csrs.cc
+++ b/riscv/csrs.cc
@@ -1359,7 +1359,7 @@ void dcsr_csr_t::verify_permissions(insn_t insn, bool write) const {
 
 reg_t dcsr_csr_t::read() const noexcept {
   reg_t result = 0;
-  result = set_field(result, DCSR_XDEBUGVER, 1);
+  result = set_field(result, DCSR_XDEBUGVER, 4);
   result = set_field(result, DCSR_EBREAKM, ebreakm);
   result = set_field(result, DCSR_EBREAKS, ebreaks);
   result = set_field(result, DCSR_EBREAKU, ebreaku);