riscv-openocd/tcl/interface/osbdm.cfg