1/*
2 * Copyright 2022 The Hafnium Authors.
3 *
4 * Use of this source code is governed by a BSD-style
5 * license that can be found in the LICENSE file or at
6 * https://opensource.org/licenses/BSD-3-Clause.
7 */
8
9/dts-v1/;
10
11/ {
12	compatible = "arm,ffa-core-manifest-1.0";
13	#address-cells = <2>;
14	#size-cells = <1>;
15
16	attribute {
17		spmc_id = <0x8000>;
18		maj_ver = <0x1>;
19		min_ver = <0x1>;
20		exec_state = <0x0>;
21		load_address = <0x0 0xe100000>;
22		entrypoint = <0x0 0xe100000>;
23		binary_size = <0x80000>;
24	};
25
26	hypervisor {
27		compatible = "hafnium,hafnium";
28		vm1 {
29			is_ffa_partition;
30			load_address = <0xe300000>;
31			debug_name = "op-tee";
32			vcpu_count = <4>;
33			mem_size = <0xd00000>;
34		};
35	};
36
37	cpus {
38		#address-cells = <0x02>;
39		#size-cells = <0x00>;
40
41		cpu@0 {
42			device_type = "cpu";
43			reg = <0x0 0x0>;
44		};
45
46		cpu@3 {
47			device_type = "cpu";
48			reg = <0x0 0x3>;
49		};
50
51		cpu@2 {
52			device_type = "cpu";
53			reg = <0x0 0x2>;
54		};
55
56		cpu@1 {
57			device_type = "cpu";
58			reg = <0x0 0x1>;
59		};
60	};
61
62	/* VIRT_SECURE_MEM */
63	memory@0 {
64		device_type = "memory";
65		reg = <0x0 0xe000000 0x1000000>;
66	};
67
68	/* NS memory */
69	memory@1 {
70		device_type = "ns-memory";
71		reg = <0x0 0x40000000 0x80000000>;
72	};
73
74	/* Device memory */
75	memory@2 {
76		device_type = "device-memory";
77		reg = <0x0 0x0 0xe000000>;
78	};
79};
80