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			size = <0x100>;
11			pad-byte = <0xff>;
12			soc-fw {
13				filename = "bl31.bin";
14			};
15		};
16		u-boot {
17		};
18	};
19};
20