0001 // SPDX-License-Identifier: GPL-2.0
0002 /*
0003 * Xen Virtual Machine for unprivileged guests
0004 *
0005 * Based on ARM Ltd. Versatile Express CoreTile Express (single CPU)
0006 * Cortex-A15 MPCore (V2P-CA15)
0007 *
0008 */
0009
0010 /dts-v1/;
0011
0012 / {
0013 model = "XENVM-4.2";
0014 compatible = "xen,xenvm-4.2", "xen,xenvm";
0015 interrupt-parent = <&gic>;
0016 #address-cells = <2>;
0017 #size-cells = <2>;
0018
0019 chosen {
0020 /* this field is going to be adjusted by the hypervisor */
0021 bootargs = "console=hvc0 root=/dev/xvda";
0022 };
0023
0024 cpus {
0025 #address-cells = <1>;
0026 #size-cells = <0>;
0027
0028 cpu@0 {
0029 device_type = "cpu";
0030 compatible = "arm,cortex-a15";
0031 reg = <0>;
0032 };
0033
0034 cpu@1 {
0035 device_type = "cpu";
0036 compatible = "arm,cortex-a15";
0037 reg = <1>;
0038 };
0039 };
0040
0041 psci {
0042 compatible = "arm,psci";
0043 method = "hvc";
0044 cpu_off = <1>;
0045 cpu_on = <2>;
0046 };
0047
0048 memory@80000000 {
0049 device_type = "memory";
0050 /* this field is going to be adjusted by the hypervisor */
0051 reg = <0 0x80000000 0 0x08000000>;
0052 };
0053
0054 gic: interrupt-controller@2c001000 {
0055 compatible = "arm,cortex-a15-gic", "arm,cortex-a9-gic";
0056 #interrupt-cells = <3>;
0057 #address-cells = <0>;
0058 interrupt-controller;
0059 reg = <0 0x2c001000 0 0x1000>,
0060 <0 0x2c002000 0 0x100>;
0061 };
0062
0063 timer {
0064 compatible = "arm,armv7-timer";
0065 interrupts = <1 13 0xf08>,
0066 <1 14 0xf08>,
0067 <1 11 0xf08>,
0068 <1 10 0xf08>;
0069 };
0070
0071 hypervisor {
0072 compatible = "xen,xen-4.2", "xen,xen";
0073 /* this field is going to be adjusted by the hypervisor */
0074 reg = <0 0xb0000000 0 0x20000>;
0075 /* this field is going to be adjusted by the hypervisor */
0076 interrupts = <1 15 0xf08>;
0077 };
0078
0079 motherboard {
0080 arm,v2m-memory-map = "rs1";
0081 };
0082 };
