/firmware/openocd/