riscv-openocd/tcl/target/nhs31xx.cfg