riscv-openocd/tcl/interface/axm0432.cfg