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";
23 compatible = "arm,cortex-a15";
31 compatible = "arm,cortex-a15";
39 compatible = "arm,cortex-a15";
47 compatible = "arm,cortex-a15";
57 device_type = "memory";
58 reg = <0x00000000 0x00000000 0x00000000 0xff800000>;
63 device_type = "memory";
64 reg = <0x00000002 0x00000000 0x00000003 0x00000000>;
68 ranges = <0x00000000 0x00000000 0x00000000 0xffffffff>;
71 compatible = "arm,cortex-a15-timer", "arm,armv7-timer"; interrupts = <1 13 0xf08>,
77 memory-controller@fff00000 {
78 compatible = "calxeda,ecx-2000-ddr-ctrl";
79 reg = <0xfff00000 0x1000>;
80 interrupts = <0 91 4>;
83 intc: interrupt-controller@fff11000 {
84 compatible = "arm,cortex-a15-gic";
85 #interrupt-cells = <3>;
89 interrupts = <1 9 0xf04>;
90 reg = <0xfff11000 0x1000>,
97 compatible = "arm,cortex-a9-pmu";
98 interrupts = <0 76 4 0 75 4 0 74 4 0 73 4>;
103 /include/ "ecx-common.dtsi"