Just thinking out loud, but I'm wondering what type of firmware Apple SoC Macs will have?
(U)EFI was made and pushed by Intel, I don't see any reason it could not be ported to Arm, I just don't know if Apple has something else they'd rather use, as I doubt the iOS devices use UEFI, it stands to reason that Apple has it's own firmware it may want to use.
I'm not sure the DTK Mini can tell us much, as with the Intel DTK used a Bios firmware, and shipping Intel Macs used EFI.
(U)EFI was made and pushed by Intel, I don't see any reason it could not be ported to Arm, I just don't know if Apple has something else they'd rather use, as I doubt the iOS devices use UEFI, it stands to reason that Apple has it's own firmware it may want to use.
I'm not sure the DTK Mini can tell us much, as with the Intel DTK used a Bios firmware, and shipping Intel Macs used EFI.