1// SPDX-License-Identifier: GPL-2.0+
2/*
3 * Copyright 2020 Google LLC
4 */
5
6#include <config.h>
7
8#if defined(CONFIG_HAS_ROM) && defined(CONFIG_FIT)
9&binman {
10	itb {
11		filename = "u-boot.itb";
12		fit {
13			fit,external-offset = <CONFIG_FIT_EXTERNAL_OFFSET>;
14			description = "FIT image with OP-TEE support";
15			#address-cells = <1>;
16
17			images {
18				uboot {
19					description = "U-Boot";
20					type = "standalone";
21					os = "U-Boot";
22					arch = "arm";
23					compression = "none";
24					load = <CONFIG_SYS_TEXT_BASE>;
25
26					u-boot-nodtb {
27					};
28				};
29				optee {
30					description = "OP-TEE";
31					type = "firmware";
32					arch = "arm";
33					os = "tee";
34					compression = "none";
35					load = <(CONFIG_SYS_SDRAM_BASE + 0x8400000)>;
36					entry = <(CONFIG_SYS_SDRAM_BASE + 0x8400000)>;
37
38					blob-ext {
39						filename = "tee.bin";
40					};
41				};
42				fdt {
43					description = CONFIG_SYS_BOARD;
44					type = "flat_dt";
45					compression = "none";
46
47					u-boot-dtb {
48					};
49				};
50			};
51
52			configurations {
53				default = "conf";
54				conf {
55					description = CONFIG_SYS_BOARD;
56					firmware = "optee";
57					loadables = "uboot";
58					fdt = "fdt";
59				};
60			};
61		};
62	};
63};
64#endif
65