1 // SPDX-License-Identifier: GPL-2.0+
5 * Copyright (C) 2020 Intel Corporation <www.intel.com>
8 #if defined(CONFIG_FIT)
18 filename = "u-boot.itb";
20 fit,external-offset = <CONFIG_FIT_EXTERNAL_OFFSET>;
21 description = "FIT with firmware and bootloader";
26 description = "U-Boot SoC64";
33 uboot_blob: blob-ext {
34 filename = "u-boot-nodtb.bin";
39 description = "ARM Trusted Firmware";
41 os = "arm-trusted-firmware";
48 filename = "bl31.bin";
53 description = "U-Boot SoC64 flat device-tree";
57 uboot_fdt_blob: blob-ext {
58 filename = "u-boot.dtb";
66 description = "Intel SoC64 FPGA";
76 filename = "kernel.itb";
78 description = "FIT with Linux kernel image and FDT blob";
83 description = "Linux Kernel";
91 kernel_blob: blob-ext {
97 description = "Linux DTB";
100 compression = "none";
102 kernel_fdt_blob: blob-ext {
103 filename = "linux.dtb";
111 description = "Intel SoC64 FPGA";
120 #if defined(CONFIG_SOCFPGA_SECURE_VAB_AUTH)
122 filename = "signed-u-boot-nodtb.bin";
126 filename = "signed-bl31.bin";
130 filename = "signed-u-boot.dtb";
134 filename = "signed-Image";
138 filename = "signed-linux.dtb";