1// SPDX-License-Identifier: GPL-2.0+
2/dts-v1/;
3
4/ {
5	#address-cells = <1>;
6	#size-cells = <1>;
7
8	binman {
9		atf-fip {
10			fip-hdr-flags = /bits/ 64 <0x123>;
11			soc-fw {
12				fip-flags = /bits/ 64 <0x123456789abcdef>;
13				filename = "bl31.bin";
14			};
15
16			u-boot {
17				fip-uuid = [fc 65 13 92 4a 5b 11 ec
18					    94 35 ff 2d 1c fc 79 9c];
19			};
20		};
21	};
22};
23