/dts-v1/;
/plugin/;

/ {

	fragment@0 {
		target-path = "/";
		__overlay__ {
			__symbols__ {
				gic = "/amba_apu@0/interrupt-controller@f9010000";
			};
		};
	};

};