Restore some openocd information which I occassionally need.
This is a partial revert of:
```
commit
|
||
---|---|---|
.. | ||
boards | ||
index.rst |
Restore some openocd information which I occassionally need.
This is a partial revert of:
```
commit
|
||
---|---|---|
.. | ||
boards | ||
index.rst |