Configuration issues with redirects across versions of openocd.git.sourceforge.name may be causing access issues. The links below can provide alternative paths to reach the site:
Or return to the current status page of openocd.git.sourceforge.name.