1// SPDX-License-Identifier: GPL-2.0+
2/*
3 * U-Boot additions
4 *
5 * Copyright (C) 2020 Intel Corporation <www.intel.com>
6 */
7
8#if defined(CONFIG_FIT)
9
10/ {
11	binman: binman {
12		multiple-images;
13	};
14};
15
16&binman {
17	u-boot {
18		filename = "u-boot.itb";
19		fit {
20			fit,external-offset = <CONFIG_FIT_EXTERNAL_OFFSET>;
21			description = "FIT with firmware and bootloader";
22			#address-cells = <1>;
23
24			images {
25				uboot {
26					description = "U-Boot SoC64";
27					type = "standalone";
28					os = "U-Boot";
29					arch = "arm64";
30					compression = "none";
31					load = <0x00200000>;
32
33					uboot_blob: blob-ext {
34						filename = "u-boot-nodtb.bin";
35					};
36				};
37
38				atf {
39					description = "ARM Trusted Firmware";
40					type = "firmware";
41					os = "arm-trusted-firmware";
42					arch = "arm64";
43					compression = "none";
44					load = <0x00001000>;
45					entry = <0x00001000>;
46
47					atf_blob: blob-ext {
48						filename = "bl31.bin";
49					};
50				};
51
52				fdt {
53					description = "U-Boot SoC64 flat device-tree";
54					type = "flat_dt";
55					compression = "none";
56
57					uboot_fdt_blob: blob-ext {
58						filename = "u-boot.dtb";
59					};
60				};
61			};
62
63			configurations {
64				default = "conf";
65				conf {
66					description = "Intel SoC64 FPGA";
67					firmware = "atf";
68					loadables = "uboot";
69					fdt = "fdt";
70				};
71			};
72		};
73	};
74
75	kernel {
76		filename = "kernel.itb";
77		fit {
78			description = "FIT with Linux kernel image and FDT blob";
79			#address-cells = <1>;
80
81			images {
82				kernel {
83					description = "Linux Kernel";
84					type = "kernel";
85					arch = "arm64";
86					os = "linux";
87					compression = "none";
88					load = <0x4080000>;
89					entry = <0x4080000>;
90
91					kernel_blob: blob-ext {
92						filename = "Image";
93					};
94				};
95
96				fdt {
97					description = "Linux DTB";
98					type = "flat_dt";
99					arch = "arm64";
100					compression = "none";
101
102					kernel_fdt_blob: blob-ext {
103						filename = "linux.dtb";
104					};
105				};
106			};
107
108			configurations {
109				default = "conf";
110				conf {
111					description = "Intel SoC64 FPGA";
112					kernel = "kernel";
113					fdt = "fdt";
114				};
115			};
116		};
117	};
118};
119
120#if defined(CONFIG_SOCFPGA_SECURE_VAB_AUTH)
121&uboot_blob {
122	filename = "signed-u-boot-nodtb.bin";
123};
124
125&atf_blob {
126	filename = "signed-bl31.bin";
127};
128
129&uboot_fdt_blob {
130	filename = "signed-u-boot.dtb";
131};
132
133&kernel_blob {
134	filename = "signed-Image";
135};
136
137&kernel_fdt_blob {
138	filename = "signed-linux.dtb";
139};
140#endif
141
142#endif
143