90-build-distro.mk, boot.mk, syslinux: add ARM64 EFI support for distro targets

features.in/build-distro/lib/90-build-distro.mk

@@ -32,6 +32,9 @@ endif
 ifeq (,$(filter-out i586 x86_64,$(ARCH)))
 BOOT_TYPE := isolinux
 endif
+ifeq (,$(filter-out aarch64,$(ARCH)))
+BOOT_TYPE := grubaa64boot
+endif
 ifeq (,$(filter-out ppc64le,$(ARCH)))
 BOOT_TYPE := ieee1275boot
 endif

features.in/syslinux/stage1/scripts.d/01-syslinux

@@ -10,7 +10,7 @@ cd "$WORKDIR/syslinux"
 
 # validate just in case (see also stage1 Makefile)
 case "$GLOBAL_BOOTLOADER" in
-	isolinux|syslinux|ieee1275boot) ;;
+	isolinux|syslinux|ieee1275boot|grubaa64boot) ;;
 	*) echo "error: weird GLOBAL_BOOTLOADER: \`$GLOBAL_BOOTLOADER'" >&2;
 	   exit 1;;
 esac

lib/boot.mk

@@ -10,6 +10,12 @@ boot/iso: use/syslinux
 	@$(call set,BOOTLOADER,isolinux)
 endif
 
+# install aarch64 media bootloader
+ifeq (,$(filter-out aarch64,$(ARCH)))
+boot/iso:
+	@$(call set,BOOTLOADER,grubaa64boot)
+endif
+
 # firmware is the bootloader
 ifeq (,$(filter-out e2k%,$(ARCH)))
 boot/iso: