eclipse.preferences.version=1
executable.name=/usr/bin/openocd