riscv-openocd/tcl/board/xmc4500-application-kit-sdr...