1 // SPDX-License-Identifier: GPL-2.0-only
3 * Copyright 2011-2012 Calxeda, Inc.
8 /* First 4KB has pen for secondary cores. */
9 /memreserve/ 0x00000000 0x0001000;
12 model = "Calxeda ECX-2000";
13 compatible = "calxeda,ecx-2000";
22 compatible = "arm,cortex-a15";
30 compatible = "arm,cortex-a15";
38 compatible = "arm,cortex-a15";
46 compatible = "arm,cortex-a15";
56 device_type = "memory";
57 reg = <0x00000000 0x00000000 0x00000000 0xff800000>;
62 device_type = "memory";
63 reg = <0x00000002 0x00000000 0x00000003 0x00000000>;
67 ranges = <0x00000000 0x00000000 0x00000000 0xffffffff>;
70 compatible = "arm,cortex-a15-timer", "arm,armv7-timer"; interrupts = <1 13 0xf08>,
76 memory-controller@fff00000 {
77 compatible = "calxeda,ecx-2000-ddr-ctrl";
78 reg = <0xfff00000 0x1000>;
79 interrupts = <0 91 4>;
82 intc: interrupt-controller@fff11000 {
83 compatible = "arm,cortex-a15-gic";
84 #interrupt-cells = <3>;
87 interrupts = <1 9 0xf04>;
88 reg = <0xfff11000 0x1000>,
95 compatible = "arm,cortex-a9-pmu";
96 interrupts = <0 76 4>, <0 75 4>, <0 74 4>, <0 73 4>;
101 /include/ "ecx-common.dtsi"