====== PyOCD ====== ===== Shutdown openocd when stopping debug session ===== monitor [target current] configure -event gdb-detach {shutdown}