Files
openocd/tcl/board/smdk6410.cfg