Windows:
  For STLINK interface:
    Unpack 'OpenOcd_Windows.zip' and rename
    the unpacked directory to 'openocd-windows'

    Required layout:
      + openocd-windows
        + bin
        + drivers
        + share

  For the Raspberry Pi Debug Probe interface:
    For prebuild DebugProbe binaries:
      https://github.com/raspberrypi/pico-sdk-tools
    Unpack 'openocd-0.12.0+dev-x64-win.zip' and rename
    the unpacked directory to 'openocd-debugprobe-windows'
      + openocd-debugprobe
        + scripts


Linux:
  For the Raspberry Pi Debug Probe interface:
    For prebuild DebugProbe binaries:
      https://github.com/raspberrypi/pico-sdk-tools
    Unpack 'openocd-0.12.0+dev-x86_64-lin.tar.gz' and rename
    the unpacked directory to 'openocd-debugprobe-linux'
      + openocd-debugprobe
        + scripts


Depending on the debugging interface a different configuration file is to be used
with OpenOcd.
When using the TI development board:
  OpenOcd -f (path_to)/rabbit_icdi.cfg

When using the STLINK interface:
  OpenOcd -f (path_to)/rabbit_stlink.cfg

When using the DebugProbe interface:
  OpenOcd -s (path_to_openocd-debugprobe_scripts) -f (path_to)/rabbit_debugprobe.cfg

