tinyriscv-openocd/tcl/board/ti_cc32xx_launchpad.cfg