// SPDX-License-Identifier: GPL-2.0+
/*
 * Copyright (C) 2019, Theobroma Systems Design und Consulting GmbH
 */

/dts-v1/;

/ {
	#address-cells = <2>;
	#size-cells = <2>;

	firmware {
		optee {
			compatible = "linaro,optee-tz";
			method = "smc";
		};
	};

	reserved-memory {
		#address-cells = <2>;
		#size-cells = <2>;
		ranges;

		optee_shm@32000000 {
			reg = <0x00 0x32000000 0x00 0x400000>;
		};

		optee_core@30000000 {
			reg = <0x00 0x30000000 0x00 0x2000000>;
		};
	};
};