debug.server.openocd.scripts_dir={runtime.tools.openocd-0.10.0-arduino7.path}/share/openocd/scripts/

debug.server.openocd.script={runtime.platform.path}/variants/{build.variant}/{build.openocdscript}

<p>The <code>debug.server.XXXX</code> subkeys are optional and also "free text", this means that the configuration may be extended as

needed by the specific server. For now only <code>openocd</code> is supported. Anyway, if this change works, any other kind of

server may be fairly easily added.</p>

<p>All the debug directives are grouped under the <code>debug.*</code> directives. Here is the complete list of the supported

directives:</p>

<li><code>debug.toolchain</code>: is a unique identifier of the required toolchain, currently we support <code>gcc</code> (and compatible) only</li>

<li><code>debug.toolchain.path</code>: is the absolute path to the toolchain directory</li>

<li><code>debug.toolchain.prefix</code>: is the prefix of the toolchain (for example <code>arm-none-eabi-</code>)</li>

<li><code>debug.server</code>: is a unique identifier of the required debug server, currently we support only <code>openocd</code></li>

<li><code>debug.svd_file</code>: is the absolute path to the SVD descriptor.</li>

<p>OpenOCD server specific configurations:</p>

<li><code>debug.server.openocd.path</code>: is the absolute path to the OpenOCD directory</li>