hisilicon: add Hi3519DV500/Hi3516DV500 (V5 aarch64) firmware

.github/workflows/toolchain.yml

@@ -27,6 +27,9 @@ jobs:
           - hi3516cv300_lite
           - hi3516cv500_lite
           - hi3516cv6xx_ultimate
+          # aarch64 musl toolchain, built from a decoupled toolchain-only
+          # config (see configs/hi3519dv500_toolchain_defconfig).
+          - hi3519dv500_toolchain
           - hi3516ev200_lite
           - hi3519v101_lite
           - hi3520dv200_lite

Makefile

@@ -101,6 +101,8 @@ endif
 repack:
 ifeq ($(BR2_OPENIPC_SOC_FAMILY),"hi3516cv6xx")
 	@$(call PREPARE_REPACK,firmware.bin,$(shell expr $(subst ",,$(BR2_OPENIPC_FLASH_SIZE)) \* 1024),,,nor)
+else ifeq ($(BR2_OPENIPC_SOC_FAMILY),"hi3519dv500")
+	@$(call PREPARE_REPACK,firmware.bin,$(shell expr $(subst ",,$(BR2_OPENIPC_FLASH_SIZE)) \* 1024),,,nor)
 else ifneq ($(wildcard $(TARGET)/images/firmware.bin),)
 	@$(call PREPARE_REPACK,firmware.bin,8192,,,nor)
 else

br-ext-chip-hisilicon/board/hi3519dv500/fit-image.its

@@ -0,0 +1,43 @@
+/dts-v1/;
+
+/*
+ * aarch64 FIT for Hi3519DV500/Hi3516DV500. DDR base 0x40000000; the kernel
+ * loads at the standard arm64 0x80000 text offset.
+ */
+
+/ {
+	description = "Linux Kernel";
+	#address-cells = <1>;
+
+	images {
+		fdt-1 {
+			description = "dtb";
+			data = /incbin/("fdt.dtb");
+			type = "flat_dt";
+			arch = "arm64";
+			compression = "none";
+			load = <0x40000000>;
+		};
+
+		linux_kernel {
+			description = "Linux";
+			data = /incbin/("Image");
+			type = "kernel";
+			arch = "arm64";
+			os = "Linux";
+			compression = "none";
+			load = <0x40080000>;
+			entry = <0x40080000>;
+		};
+	};
+
+	configurations {
+		default = "config-1";
+		config-1 {
+			description = "Linux";
+			kernel = "linux_kernel";
+			fdt = "fdt-1";
+			loadables = "linux_kernel", "fdt-1";
+		};
+	};
+};