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