Arduino AVR ATMEGA2560 ADK mit JTAGICE 3

[Rolf H. (Firma: http://www.hemmerling.com) (hemmerling)]

Hallo,

bieten die Arduino AVR ATMEGA2560 ADK boards
http://arduino.cc/en/Main/ArduinoBoardADK
die Möglichkeit, mit Atmel JTAGICE 3 ( und atmel Studio 5/6 ) Software 
zu entwickeln  hochzuladen  single-step zu debuggen ?

Wer kann mir einer aus der Erfahrung mit ATmega256 SDK sagen, ob und wie 
man dort mit Atmel Studio 5/6 und Atmel-Hardware-Debuggern entwickelt ?
Der Vorteil ist ja, daß man nicht vom Bootloader ( und dessen 
Unzerstörtheit ) abhängig ist...

Die original Arduino IDE bietet ja ausdrücklich keine 
Debugging-Unterstützung...

Hintergrund:
Ich nehme 21/22 April am 2.Ardunio-Workshop in HH
http://wiki.attraktor.org/Termin:2._Arduino_Workshop

teil :-), muss / soll /will mir aber dafür ein Board besorgen,
und mit den ATmega256 Boards kann man nachher natürlich "mehr" anfangen 
wegen "mehr" RAM+Flash-Speicher...

Von daher "würde" ich mir eher ein ATmega256 SDK Board zulegen, als "nur 
für den Workshop" einen kleinen preiswerten Uno...

Viele Grüße
Rolf