1/*
2 * Copyright 2023 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	hypervisor {
13		compatible = "hafnium,hafnium";
14		vm1 {
15			debug_name = "primary_with_secondaries_el0";
16			kernel_filename = "primary_with_secondaries_el0";
17		};
18
19		vm2 {
20			is_ffa_partition;
21			hyp_loaded;
22			debug_name = "services1_el0";
23			vcpu_count = <1>;
24			mem_size = <0x100000>;
25			kernel_filename = "services1_el0";
26			fdt_filename = "service1_el0.dtb";
27			exception-level = <6>; /* EL0 */
28		};
29
30		vm3 {
31			is_ffa_partition;
32			hyp_loaded;
33			debug_name = "services2_el0";
34			vcpu_count = <1>;
35			mem_size = <0x100000>;
36			kernel_filename = "services2_el0";
37			fdt_filename = "service2_el0.dtb";
38			exception-level = <6>; /* EL0 */
39		};
40
41		vm4 {
42			is_ffa_partition;
43			hyp_loaded;
44			debug_name = "services3_el0";
45			vcpu_count = <1>;
46			mem_size = <0x100000>;
47			kernel_filename = "services3_el0";
48			fdt_filename = "service3_el0.dtb";
49			exception-level = <6>; /* EL0 */
50		};
51	};
52};
53