> the OpenOCD documentation doesn’t ever actually explain what it does.
Why would the OpenOCD documentation cover what's already explained in the gdb documentation? * https://ftp.gnu.org/old-gnu/Manuals/gdb/html_chapter/gdb_5.html#SEC18 To see what it does in the context of a remote GDB server environment such as OpenOCD you can look at the GDB remote server protocol traces using `set remotelogfile <file>` * https://sourceware.org/gdb/download/onlinedocs/gdb/Remote-Configuration.html and also the openocd -d3 verbose log file. What exactly happens may depend on the specific OpenOCD configuration files userd for the OpenOCD debug session.