ARM chips have a standard debugging interface. The AVR32 code therefore can't be THAT difficult. (Although: AVR32 is pretty obscure in general.)
This arduino.org fork thing is not good 
And it looks like the downloads (and source code) from arduino.org don't actually support the Zero at the moment.