dts/xen/xenvm-4.2.dts

1 // SPDX-License-Identifier: GPL-2.0
6  * Cortex-A15 MPCore (V2P-CA15)
10 /dts-v1/;
13 	model = "XENVM-4.2";
14 	compatible = "xen,xenvm-4.2", "xen,xenvm";
15 	interrupt-parent = <&gic>;
16 	#address-cells = <2>;
17 	#size-cells = <2>;
25 		#address-cells = <1>;
26 		#size-cells = <0>;
30 			compatible = "arm,cortex-a15";
36 			compatible = "arm,cortex-a15";
48 	memory@80000000 {
49 		device_type = "memory";
54 	gic: interrupt-controller@2c001000 {
55 		compatible = "arm,cortex-a15-gic", "arm,cortex-a9-gic";
56 		#interrupt-cells = <3>;
57 		#address-cells = <0>;
58 		interrupt-controller;
64 		compatible = "arm,armv7-timer";
72 		compatible = "xen,xen-4.2", "xen,xen";
80 		arm,v2m-memory-map = "rs1";