riscv-openocd/tcl/target/marvell/88f3710.cfg