Flashtools für AVR32 und ARM-Based Controller

Hallo,

ich würde gerne wissen wie das mit dem flashen auf AVR32 UC3 und 
ARM-Based Controller mit Linux aussieht.
Für die 8Bit Controller gibs ja den avrdude unter Linux aber für Die 
32er und ARMs konnte ich kein Tool finden.

Gruß

Martin