The following firmware should work on most boards with a SAMD51G19, SAMD51J19 and SAMD51P19 MCU. It uses only the features built into the MCU. Additional devices at the board like external flash are not supported.
For deploying the MicroPython firmware to the SAMD module, follow the procedure:
Push the reset button twice or call machine.bootloader(). A drive icon should appear representing a virtual drive.
Copy the .uf2 file with the required firmware to that drive.
As soon as the drive disappears, the firmware is loaded and started.