2 * Xen Virtual Machine for unprivileged guests
4 * Based on ARM Ltd. Versatile Express CoreTile Express (single CPU)
5 * Cortex-A15 MPCore (V2P-CA15)
13 compatible = "xen,xenvm-4.2", "xen,xenvm";
14 interrupt-parent = <&gic>;
19 /* this field is going to be adjusted by the hypervisor */
20 bootargs = "console=hvc0 root=/dev/xvda";
29 compatible = "arm,cortex-a15";
35 compatible = "arm,cortex-a15";
41 compatible = "arm,psci";
48 device_type = "memory";
49 /* this field is going to be adjusted by the hypervisor */
50 reg = <0 0x80000000 0 0x08000000>;
53 gic: interrupt-controller@2c001000 {
54 compatible = "arm,cortex-a15-gic", "arm,cortex-a9-gic";
55 #interrupt-cells = <3>;
58 reg = <0 0x2c001000 0 0x1000>,
59 <0 0x2c002000 0 0x100>;
63 compatible = "arm,armv7-timer";
64 interrupts = <1 13 0xf08>,
71 compatible = "xen,xen-4.2", "xen,xen";
72 /* this field is going to be adjusted by the hypervisor */
73 reg = <0 0xb0000000 0 0x20000>;
74 /* this field is going to be adjusted by the hypervisor */
75 interrupts = <1 15 0xf08>;
79 arm,v2m-memory-map = "rs1";