For a second I thought the SAMD51 was an 8051-based part. Incidentally, some of the newish 8051 MCUs (SiLabs makes some good ones) have very low interrupt latencies too (<10 cycles) when running at 100MHz.