search

pulp-platform / pulpissimo

This is the top-level project for the PULPissimo Platform. It instantiates a PULPissimo open-source system with a PULP SoC domain, but no cluster.
Other
381 stars 163 forks source link

How to write CSR_DPC register in GDB ? #426

Closed rtspk closed 1 month ago

rtspk commented 2 months ago

Hi Everyone, Hope you guys are doing good.

I would like to ask, How to write to register values in GDB ?

I am trying to write register value of (CSR_DPC at 0x7b1 ) using GDB. But so far i didnt get any success I used monitor reg command to see the register values and was able to see the value of DPC register.

I have two questions

  1. How can i modify the value of this DPC register from GDB ?
  2. What is confusing is that, the address of DPC is 0x7b1 (decimal 1969), but the monitor reg command shows me 0x7F2 (decimal 2034).

Thanks you very much

image

image