1/* 2 * Copyright (c) 2020, Arm Limited. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6/dts-v1/; 7 8/ { 9 compatible = "arm,ffa-core-manifest-1.0"; 10 #address-cells = <2>; 11 #size-cells = <1>; 12 13 attribute { 14 spmc_id = <0x8000>; 15 maj_ver = <0x1>; 16 min_ver = <0x0>; 17 exec_state = <0x0>; 18 load_address = <0x0 0x6000000>; 19 entrypoint = <0x0 0x6000000>; 20 }; 21 22 chosen { 23 linux,initrd-start = <0>; 24 linux,initrd-end = <0>; 25 }; 26 27 hypervisor { 28 compatible = "hafnium,hafnium"; 29 vm1 { 30 is_ffa_partition; 31 debug_name = "cactus-primary"; 32 load_address = <0x7000000>; 33 }; 34 vm2 { 35 is_ffa_partition; 36 debug_name = "cactus-secondary"; 37 load_address = <0x7100000>; 38 vcpu_count = <2>; 39 mem_size = <1048576>; 40 }; 41 vm3 { 42 is_ffa_partition; 43 debug_name = "cactus-tertiary"; 44 load_address = <0x7200000>; 45 vcpu_count = <2>; 46 mem_size = <1048576>; 47 }; 48 }; 49 50 cpus { 51 #address-cells = <0x2>; 52 #size-cells = <0x0>; 53 54 cpu-map { 55 cluster0 { 56 core0 { 57 cpu = <0x2>; 58 }; 59 }; 60 }; 61 62 cpu@0 { 63 device_type = "cpu"; 64 compatible = "arm,armv8"; 65 reg = <0x0 0x0>; 66 enable-method = "psci"; 67 next-level-cache = <0xc>; 68 phandle = <0x2>; 69 }; 70 }; 71 72 memory@60000000 { 73 device_type = "memory"; 74 reg = <0x0 0x6000000 0x2000000>; /* Trusted DRAM */ 75 }; 76}; 77