That appears to be correct, but can you program those in native ARM code, or must you use the Arduino dev tools? E.g. Will it run Linux?
You can program them with normal C code or thumb-2 assembly, but the peripherals on SAMD chips aren't very intuitive if you want to program them bare-metal.