+# arm64 doesn't provide /usr/lib/grub/i386-efi, so we don't include
+# i386-pc in $ARCHS (whereas on AMD64 we have both i386-pc + x86_64-efi)
+if ifclass ARM64 ; then
+ if [ -r "${target}"/usr/lib/grub/arm64-efi/moddep.lst ] ; then
+ ARCHS=(arm64-efi)
+ # NOTE: efi_uga (EFI Universal Graphics Adapter) is deprecated + unavailable on arm64
+ ADDITIONAL_MODULES[arm64-efi]="efi_gop" # no efi_uga available
+ else
+ echo "/usr/lib/grub/arm64-efi/moddep.lst.lst could not be found, skipping."
+ echo "NOTE: grub-efi-arm64-bin not installed?"
+ fi
+fi
+