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

/dts-v1/;

/ {
	#address-cells = <1>;
	#size-cells = <1>;
	binman {
		atf-bl1 {
			filename = "bl1.bin";
		};
	};
};