1/*
2 * Copyright 2020 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 = <0x0>;
20		exec_state = <0x0>;
21		load_address = <0x0 0x6000000>;
22		entrypoint = <0x0 0x6000000>;
23		binary_size = <0x80000>;
24	};
25
26	cpus {
27		#address-cells = <0x02>;
28		#size-cells = <0x00>;
29
30		cpu@0 {
31			device_type = "cpu";
32			reg = <0x00 0x00>;
33		};
34
35		cpu@103 {
36			device_type = "cpu";
37			reg = <0x00 0x10300>;
38		};
39
40		cpu@102 {
41			device_type = "cpu";
42			reg = <0x00 0x10200>;
43		};
44
45		cpu@101 {
46			device_type = "cpu";
47			reg = <0x00 0x10100>;
48		};
49
50		cpu@100 {
51			device_type = "cpu";
52			reg = <0x00 0x10000>;
53		};
54
55		cpu@3 {
56			device_type = "cpu";
57			reg = <0x00 0x300>;
58		};
59
60		cpu@2 {
61			device_type = "cpu";
62			reg = <0x00 0x200>;
63		};
64
65		cpu@1 {
66			device_type = "cpu";
67			reg = <0x00 0x100>;
68		};
69	};
70
71	memory@6000000 {
72		device_type = "memory";
73		reg = <0x0 0x6000000 0x2000000>;
74	};
75};
76