Open On-Chip Debugger. Built on 2020-10-12 by Matthew Trescott <matthewtrescott@gmail.com>

Compared to the build shipped with ChibiStudio, this copy has the TI-ICDI driver enabled
for Tiva (Stellaris) boards and includes the following extra patches:

http://openocd.zylin.com/#/c/2527/
http://openocd.zylin.com/#/c/2528/3

The other binaries are also updated to somewhat more recent versions from MSYS2.