2e0de13813
Restore some openocd information which I occassionally need.
This is a partial revert of:
```
commit
|
||
---|---|---|
.. | ||
arm | ||
risc-v | ||
sim | ||
xtensa | ||
index.rst |