tools/binman/test/222_tee_os.dts


1
2
3
4
5
6
7
8
9
10
11
12
13
14

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

/dts-v1/;

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

	binman {
		tee-os {
			filename = "tee-pager.bin";
		};
	};
};