blob: cde9b81b26b802d499e29463072f39f411db27ab [file] [log] [blame]
Simon Glass6a50cd12020-07-19 13:56:12 -06001// 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