> What should be done if some targets have already been resumed (e.g., selected > hart has been stopped because of a software breakpoint, but others in the SMP > group continue to run)?
When using GDB (a/the common case, I guess) then it depends on the scheduler locking mode(s): https://sourceware.org/gdb/onlinedocs/gdb/Thread-Stops.html#Thread-Stops supported by the target for the hwthread pseudo-OS/SMP scenario (section 20.7): https://openocd.org/doc-release/html/GDB-and-OpenOCD.html#index-hwthread
