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			soc-fw {
11				filename = "bl31.bin";
12			};
13
14			rmm-fw {
15				filename = "rmm.bin";
16			};
17		};
18	};
19};
20