// SPDX-License-Identifier: GPL-2.0+ | |
/* | |
* Copyright 2020 Google LLC | |
*/ | |
#include <config.h> | |
#if defined(CONFIG_HAS_ROM) && defined(CONFIG_FIT) | |
&binman { | |
itb { | |
filename = "u-boot.itb"; | |
fit { | |
fit,external-offset = <CONFIG_FIT_EXTERNAL_OFFSET>; | |
description = "FIT image with OP-TEE support"; | |
#address-cells = <1>; | |
images { | |
uboot { | |
description = "U-Boot"; | |
type = "standalone"; | |
os = "U-Boot"; | |
arch = "arm"; | |
compression = "none"; | |
load = <CONFIG_TEXT_BASE>; | |
u-boot-nodtb { | |
}; | |
}; | |
optee { | |
description = "OP-TEE"; | |
type = "firmware"; | |
arch = "arm"; | |
os = "tee"; | |
compression = "none"; | |
load = <(CFG_SYS_SDRAM_BASE + 0x8400000)>; | |
entry = <(CFG_SYS_SDRAM_BASE + 0x8400000)>; | |
blob-ext { | |
filename = "tee.bin"; | |
}; | |
}; | |
fdt { | |
description = CONFIG_SYS_BOARD; | |
type = "flat_dt"; | |
compression = "none"; | |
u-boot-dtb { | |
}; | |
}; | |
}; | |
configurations { | |
default = "conf"; | |
conf { | |
description = CONFIG_SYS_BOARD; | |
firmware = "optee"; | |
loadables = "uboot"; | |
fdt = "fdt"; | |
}; | |
}; | |
}; | |
}; | |
}; | |
#endif |