Files
simtrace2/firmware/openocd/openocd.cfg