riscv-openocd/tcl/interface/redbee-usb.cfg