Files
sw_openocd/tcl/board/mini2440.cfg