Merge pull request #278 from shenki/openocd-v0.11
authorPaul Mackerras <paulus@ozlabs.org>
Tue, 11 May 2021 10:25:29 +0000 (20:25 +1000)
committerGitHub <noreply@github.com>
Tue, 11 May 2021 10:25:29 +0000 (20:25 +1000)
Add files for openocd v0.11


Trivial merge