-
Notifications
You must be signed in to change notification settings - Fork 97
Description
Looking at [3.14.17. Debug Module Control and Status 2 (dmcs2
, at 0x32
)] it seems like halt groups should be reset when DM is reset, since:
- The reset value for
dtmcs2.group
ispreset
. dmcs2.grouptype
resets to0 (halt)
.dmcontrol.hartsel
resets to 0.dtmcs2.group
represents the halt group of the hart corresponding todmcontrol.hartsel
- Throughout the spec there is nothing special about the hart that corresponds to
dmcontrol.hartsel = 0
.
Therefore, resetting the DM will change the halt group of the hart that corresponds to dmcontrol.hartsel = 0
to some preset, and it seems logical that this will also be the case for other harts and for resume groups as well.
Nevertheless it seems like an explicit statement that DM reset resets the halt and resume groups configuration could be quite helpful.
I'd like to suggest adding this statement to [3.6. Halt Groups, Resume Groups, and External Triggers].
Moreover, it seems like there is confusion about whether DM reset should reset halt/resume groups configuration. E.g. it seems like this is not the case for the Spike simulator.