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";
32 uboot_blob: blob-ext {
33 filename = "u-boot-nodtb.bin";
41 description = "ARM Trusted Firmware";
43 os = "arm-trusted-firmware";
49 filename = "bl31.bin";
57 description = "U-Boot SoC64 flat device-tree";
60 uboot_fdt_blob: blob-ext {
61 filename = "u-boot.dtb";
72 description = "Intel SoC64 FPGA";
78 key-name-hint = "dev";
79 sign-images = "atf", "fdt", "uboot";
87 filename = "kernel.itb";
89 description = "FIT with Linux kernel image and FDT blob";
94 description = "Linux Kernel";
101 kernel_blob: blob-ext {
110 description = "Linux DTB";
113 compression = "none";
114 kernel_fdt_blob: blob-ext {
115 filename = "linux.dtb";
126 description = "Intel SoC64 FPGA";
131 key-name-hint = "dev";
132 sign-images = "fdt", "kernel";
140 #if defined(CONFIG_SOCFPGA_SECURE_VAB_AUTH)
142 filename = "signed-u-boot-nodtb.bin";
146 filename = "signed-bl31.bin";
150 filename = "signed-u-boot.dtb";
154 filename = "signed-Image";
158 filename = "signed-linux.dtb";