// 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 = <(CONFIG_SYS_SDRAM_BASE + 0x8400000)>;
					entry = <(CONFIG_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