From 0e7df46dced533a5199793e73ac1f4255f76a69f Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Wed, 17 Jun 2020 11:42:58 +0100
Subject: [PATCH] Allow read/write of dpc

---
 src_Core/CPU/CsrFile.bsv | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src_Core/CPU/CsrFile.bsv b/src_Core/CPU/CsrFile.bsv
index 6645cfb..15b7ea0 100644
--- a/src_Core/CPU/CsrFile.bsv
+++ b/src_Core/CPU/CsrFile.bsv
@@ -799,7 +799,10 @@ module mkCsrFile #(Data hartid)(CsrFile);
 
 `ifdef INCLUDE_GDB_CONTROL
            CSRdcsr:       rg_dcsr;    // TODO: take NMI into account (cf. Piccolo/Flute)
-           // CSRdpc:        rg_dpc; // TODO: currently invisible to software due to it being a cap register
+           CSRdpc:        interface Reg;
+                              method _write (x) = action rg_dpc <= setAddrUnsafe(rg_dpc, x); endaction;
+                              method _read = getAddr(rg_dpc);
+                          endinterface
            CSRdscratch0:  rg_dscratch0;
            CSRdscratch1:  rg_dscratch1;
 `endif