So, t0 the question: What is AVR Arduino interrupt latency? And how can it be shortened The answers can be found in this StackExchange post by Edgar Bonnet – scroll down to ‘As a sort of prologue’.

In fact, that’s how the Arduino IDE flashes the board. This should have been obvious since the board is really just a breakout for the SAM D21 chip which is already supported.