1// SPDX-License-Identifier: GPL-2.0+
2
3/dts-v1/;
4
5/ {
6	#address-cells = <1>;
7	#size-cells = <1>;
8
9	binman {
10		u-boot {
11		};
12		tee-os {
13			/*
14			 * this results in nothing being added since only the
15			 * .bin format is supported by this etype, unless it is
16			 * part of a FIT
17			 */
18		};
19		u-boot-img {
20		};
21	};
22};
23