2e0de13813
Restore some openocd information which I occassionally need.
This is a partial revert of:
```
commit
|
||
---|---|---|
.. | ||
_static | ||
_templates | ||
applications | ||
components | ||
contributing | ||
faq | ||
guides | ||
introduction | ||
platforms | ||
quickstart | ||
reference | ||
.gitignore | ||
conf.py | ||
glossary.rst | ||
index.rst | ||
make.bat | ||
Makefile | ||
Pipfile | ||
Pipfile.lock | ||
substitutions.rst |