Mon May 30 10:13:22 CEST 2011

Getting debug info from GDB into OpenOCD

I have a memory buffer that I would like to inspect with some kind of
script.  I have the option to use the (distorted) gdb scripting
language, or to use jim tcl on the OpenOCD side.

For the latter, I wonder how to translate symbols from GDB and pass
them to the "monitor" command.  The default behaviour is just to pass
anything after the monitor command verbatim, not dereferencing

It's probably best to just write the scripts in GDB.