// SPDX-License-Identifier: GPL-2.0+

/dts-v1/;

/ {
	#address-cells = <1>;
	#size-cells = <1>;

	binman {
		u-boot {
		};
		tee-os {
			/*
			 * this results in nothing being added since only the
			 * .bin format is supported by this etype, unless it is
			 * part of a FIT
			 */
		};
		u-boot-img {
		};
	};
};