Arduino Zero

This post on hackaday is very informative especially addressing the debugger question.

Also you can purchase the ATSAMD21-XPRO-ND on digikey which I am betting is what they used to develop the Zero.