steht unter http://www.ethernut.de/de/download/ zum Download zur Verfügung. Bitte beachten Sie auch die aktualisierte Anleitung (in englischer Sprache) unter http://www.ethernut.de/en/hardware/enut3/openocd.html Viel Spaß, Harald Kipp