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 hypervisor { 13 compatible = "hafnium,hafnium"; 14 vm1 { 15 debug_name = "primary_with_secondaries_no_fdt"; 16 kernel_filename = "primary_with_secondaries_no_fdt"; 17 }; 18 19 vm2 { 20 debug_name = "secondary_vm_no_fdt"; 21 vcpu_count = <1>; 22 mem_size = <0x100000>; 23 kernel_filename = "secondary_vm_no_fdt"; 24 }; 25 }; 26}; 27