// SPDX-License-Identifier: GPL-2.0 /* * Xen Virtual Machine for unprivileged guests * * Based on ARM Ltd. Versatile Express CoreTile Express (single CPU) * Cortex-A15 MPCore (V2P-CA15) * */ /dts-v1/; / { model = "XENVM-4.2"; compatible = "xen,xenvm-4.2", "xen,xenvm"; interrupt-parent = <&gic>; #address-cells = <2>; #size-cells = <2>; chosen { /* this field is going to be adjusted by the hypervisor */ bootargs = "console=hvc0 root=/dev/xvda"; }; cpus { #address-cells = <1>; #size-cells = <0>; cpu@0 { device_type = "cpu"; compatible = "arm,cortex-a15"; reg = <0>; }; cpu@1 { device_type = "cpu"; compatible = "arm,cortex-a15"; reg = <1>; }; }; psci { compatible = "arm,psci"; method = "hvc"; cpu_off = <1>; cpu_on = <2>; }; memory@80000000 { device_type = "memory"; /* this field is going to be adjusted by the hypervisor */ reg = <0 0x80000000 0 0x08000000>; }; gic: interrupt-controller@2c001000 { compatible = "arm,cortex-a15-gic", "arm,cortex-a9-gic"; #interrupt-cells = <3>; #address-cells = <0>; interrupt-controller; reg = <0 0x2c001000 0 0x1000>, <0 0x2c002000 0 0x100>; }; timer { compatible = "arm,armv7-timer"; interrupts = <1 13 0xf08>, <1 14 0xf08>, <1 11 0xf08>, <1 10 0xf08>; }; hypervisor { compatible = "xen,xen-4.2", "xen,xen"; /* this field is going to be adjusted by the hypervisor */ reg = <0 0xb0000000 0 0x20000>; /* this field is going to be adjusted by the hypervisor */ interrupts = <1 15 0xf08>; }; motherboard { arm,v2m-memory-map = "rs1"; }; };