]> git.ipfire.org Git - thirdparty/kernel/linux.git/commitdiff
arm64: dts: apple: Add A7 devices
authorKonrad Dybcio <konradybcio@kernel.org>
Wed, 23 Oct 2024 04:40:47 +0000 (12:40 +0800)
committerHector Martin <marcan@marcan.st>
Fri, 25 Oct 2024 15:14:45 +0000 (00:14 +0900)
Add DTS files for the A7 SoC and the following devices based on it:

- iPhone 5s
- iPad Air (1)
- iPad mini 2
- iPad mini 3

Signed-off-by: Konrad Dybcio <konradybcio@kernel.org>
[Nick: SMP and m1n1 support, gpio-keys additions]
Co-developed-by: Nick Chan <towinchenmi@gmail.com>
Signed-off-by: Nick Chan <towinchenmi@gmail.com>
Acked-by: Linus Walleij <linus.walleij@linaro.org>
Reviewed-by: Neal Gompa <neal@gompa.dev>
Signed-off-by: Hector Martin <marcan@marcan.st>
18 files changed:
arch/arm64/boot/dts/apple/Makefile
arch/arm64/boot/dts/apple/s5l8960x-5s.dtsi [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-air1.dtsi [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-common.dtsi [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-j71.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-j72.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-j73.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-j85.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-j85m.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-j86.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-j86m.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-j87.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-j87m.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-mini2.dtsi [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-mini3.dtsi [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-n51.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x-n53.dts [new file with mode: 0644]
arch/arm64/boot/dts/apple/s5l8960x.dtsi [new file with mode: 0644]

index aec5e29cdfb7374f3db6163278d87c2399d74d83..e1ee803f72a785940c38d797daf01d6754a4bdac 100644 (file)
@@ -1,4 +1,15 @@
 # SPDX-License-Identifier: GPL-2.0
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-j71.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-j73.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-j85m.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-j86m.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-j87m.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-n53.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-j72.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-j85.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-j86.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-j87.dtb
+dtb-$(CONFIG_ARCH_APPLE) += s5l8960x-n51.dtb
 dtb-$(CONFIG_ARCH_APPLE) += t8103-j274.dtb
 dtb-$(CONFIG_ARCH_APPLE) += t8103-j293.dtb
 dtb-$(CONFIG_ARCH_APPLE) += t8103-j313.dtb
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-5s.dtsi b/arch/arm64/boot/dts/apple/s5l8960x-5s.dtsi
new file mode 100644 (file)
index 0000000..0b16adf
--- /dev/null
@@ -0,0 +1,51 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPhone 5s common device tree
+ * Based on A7 (APL0698), up to 1.3GHz
+ *
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+#include "s5l8960x.dtsi"
+#include "s5l8960x-common.dtsi"
+#include <dt-bindings/input/input.h>
+
+/ {
+       chassis-type = "handset";
+
+       gpio-keys {
+               compatible = "gpio-keys";
+
+               button-home {
+                       label = "Home Button";
+                       gpios = <&pinctrl 2 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_HOMEPAGE>;
+                       wakeup-source;
+               };
+
+               button-power {
+                       label = "Power Button";
+                       gpios = <&pinctrl 3 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_POWER>;
+                       wakeup-source;
+               };
+
+               button-voldown {
+                       label = "Volume Down";
+                       gpios = <&pinctrl 5 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_VOLUMEDOWN>;
+               };
+
+               button-volup {
+                       label = "Volume Up";
+                       gpios = <&pinctrl 4 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_VOLUMEUP>;
+               };
+
+               switch-mute {
+                       label = "Mute Switch";
+                       gpios = <&pinctrl 16 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_MUTE>;
+               };
+       };
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-air1.dtsi b/arch/arm64/boot/dts/apple/s5l8960x-air1.dtsi
new file mode 100644 (file)
index 0000000..741c5a9
--- /dev/null
@@ -0,0 +1,51 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad Air  common device tree
+ * Based on A7 (APL5698), up to 1.4GHz
+ *
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+#include "s5l8960x.dtsi"
+#include "s5l8960x-common.dtsi"
+#include <dt-bindings/input/input.h>
+
+/ {
+       chassis-type = "tablet";
+
+       gpio-keys {
+               compatible = "gpio-keys";
+
+               button-home {
+                       label = "Home Button";
+                       gpios = <&pinctrl 2 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_HOMEPAGE>;
+                       wakeup-source;
+               };
+
+               button-power {
+                       label = "Power Button";
+                       gpios = <&pinctrl 3 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_POWER>;
+                       wakeup-source;
+               };
+
+               button-voldown {
+                       label = "Volume Down";
+                       gpios = <&pinctrl 4 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_VOLUMEDOWN>;
+               };
+
+               button-volup {
+                       label = "Volume Up";
+                       gpios = <&pinctrl 5 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_VOLUMEUP>;
+               };
+
+               switch-mute {
+                       label = "Mute Switch";
+                       gpios = <&pinctrl 110 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_MUTE>;
+               };
+       };
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-common.dtsi b/arch/arm64/boot/dts/apple/s5l8960x-common.dtsi
new file mode 100644 (file)
index 0000000..243480c
--- /dev/null
@@ -0,0 +1,48 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPhone 5s, iPad mini 2/3, iPad Air
+ *
+ * This file contains parts common to all Apple A7 devices.
+ *
+ * target-type: J71, J72, J73, J85, J85m, J86, J86m, J87, J87m, N51, N53
+ *
+ * Copyright (c) 2024, Nick Chan <towinchenmi@gmail.com>
+ */
+
+/ {
+       aliases {
+               serial0 = &serial0;
+       };
+
+       chosen {
+               #address-cells = <2>;
+               #size-cells = <2>;
+               ranges;
+
+               stdout-path = "serial0";
+
+               framebuffer0: framebuffer@0 {
+                       compatible = "apple,simple-framebuffer", "simple-framebuffer";
+                       reg = <0 0 0 0>; /* To be filled by loader */
+                       /* Format properties will be added by loader */
+                       status = "disabled";
+               };
+       };
+
+       memory@800000000 {
+               device_type = "memory";
+               reg = <0x8 0 0 0>; /* To be filled by loader */
+       };
+
+       reserved-memory {
+               #address-cells = <2>;
+               #size-cells = <2>;
+               ranges;
+
+               /* To be filled by loader */
+       };
+};
+
+&serial0 {
+       status = "okay";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-j71.dts b/arch/arm64/boot/dts/apple/s5l8960x-j71.dts
new file mode 100644 (file)
index 0000000..e13036d
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad Air (Wi-Fi), J71, iPad4,1 (A1474)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-air1.dtsi"
+
+/ {
+       compatible = "apple,j71", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPad Air (Wi-Fi)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-j72.dts b/arch/arm64/boot/dts/apple/s5l8960x-j72.dts
new file mode 100644 (file)
index 0000000..afb71b8
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad Air (Cellular), J72, iPad4,2 (A1475)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-air1.dtsi"
+
+/ {
+       compatible = "apple,j72", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPad Air (Cellular)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-j73.dts b/arch/arm64/boot/dts/apple/s5l8960x-j73.dts
new file mode 100644 (file)
index 0000000..c871962
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad Air (Cellular, China), J73, iPad4,2 (A1476)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-air1.dtsi"
+
+/ {
+       compatible = "apple,j73", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPad Air (Cellular, China)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-j85.dts b/arch/arm64/boot/dts/apple/s5l8960x-j85.dts
new file mode 100644 (file)
index 0000000..aefb7b3
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad mini 2 (Wi-Fi), J85, iPad4,4 (A1489)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-mini2.dtsi"
+
+/ {
+       compatible = "apple,j85", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPad mini 2 (Wi-Fi)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-j85m.dts b/arch/arm64/boot/dts/apple/s5l8960x-j85m.dts
new file mode 100644 (file)
index 0000000..ec2bcaa
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad mini 3 (Wi-Fi), J85m, iPad4,7 (A1599)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-mini3.dtsi"
+
+/ {
+       compatible = "apple,j85m", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPad mini 3 (Wi-Fi)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-j86.dts b/arch/arm64/boot/dts/apple/s5l8960x-j86.dts
new file mode 100644 (file)
index 0000000..470f2f8
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad mini 2 (Cellular), J86, iPad4,5 (A1490)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-mini2.dtsi"
+
+/ {
+       compatible = "apple,j86", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPad mini 2 (Cellular)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-j86m.dts b/arch/arm64/boot/dts/apple/s5l8960x-j86m.dts
new file mode 100644 (file)
index 0000000..90311d9
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad mini 3 (Cellular), J86m, iPad4,8 (A1600)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-mini3.dtsi"
+
+/ {
+       compatible = "apple,j86m", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPad mini 3 (Cellular)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-j87.dts b/arch/arm64/boot/dts/apple/s5l8960x-j87.dts
new file mode 100644 (file)
index 0000000..3580fd8
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad mini 2 (Cellular, China), J87, iPad4,6 (A1491)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-mini2.dtsi"
+
+/ {
+       compatible = "apple,j87", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPad mini 2 (Cellular, China)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-j87m.dts b/arch/arm64/boot/dts/apple/s5l8960x-j87m.dts
new file mode 100644 (file)
index 0000000..fa0da4f
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad mini 3 (Cellular, China), J87m, iPad4,9 (A1601)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-mini3.dtsi"
+
+/ {
+       compatible = "apple,j87m", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPad mini 3 (Cellular, China)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-mini2.dtsi b/arch/arm64/boot/dts/apple/s5l8960x-mini2.dtsi
new file mode 100644 (file)
index 0000000..b27ef56
--- /dev/null
@@ -0,0 +1,51 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad mini 2 common device tree
+ * Based on A7 (APL0698), up to 1.3GHz
+ *
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+#include "s5l8960x.dtsi"
+#include "s5l8960x-common.dtsi"
+#include <dt-bindings/input/input.h>
+
+/ {
+       chassis-type = "tablet";
+
+       gpio-keys {
+               compatible = "gpio-keys";
+
+               button-home {
+                       label = "Home Button";
+                       gpios = <&pinctrl 2 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_HOMEPAGE>;
+                       wakeup-source;
+               };
+
+               button-power {
+                       label = "Power Button";
+                       gpios = <&pinctrl 3 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_POWER>;
+                       wakeup-source;
+               };
+
+               button-voldown {
+                       label = "Volume Down";
+                       gpios = <&pinctrl 5 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_VOLUMEDOWN>;
+               };
+
+               button-volup {
+                       label = "Volume Up";
+                       gpios = <&pinctrl 4 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_VOLUMEUP>;
+               };
+
+               switch-mute {
+                       label = "Mute Switch";
+                       gpios = <&pinctrl 6 GPIO_ACTIVE_LOW>;
+                       linux,code = <KEY_MUTE>;
+               };
+       };
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-mini3.dtsi b/arch/arm64/boot/dts/apple/s5l8960x-mini3.dtsi
new file mode 100644 (file)
index 0000000..4e397b3
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPad mini 3 common device tree
+ * Based on A7 (APL0698), up to 1.3GHz
+ *
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/*
+ * The Mini 3 seems to be only an iteration over the Mini 2 with some
+ * small changes, like the introduction of Touch ID, hence there is little
+ * to no differentiation between these 2 for now.
+ */
+#include "s5l8960x-mini2.dtsi"
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-n51.dts b/arch/arm64/boot/dts/apple/s5l8960x-n51.dts
new file mode 100644 (file)
index 0000000..cd52f81
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPhone 5s (GSM), N51, iPhone6,1 (A1453/A1533)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-5s.dtsi"
+
+/ {
+       compatible = "apple,n51", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPhone 5s (GSM)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x-n53.dts b/arch/arm64/boot/dts/apple/s5l8960x-n53.dts
new file mode 100644 (file)
index 0000000..4795798
--- /dev/null
@@ -0,0 +1,14 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple iPhone 5s (LTE), N53, iPhone6,2 (A1457/A1518/A1528/A1530)
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ */
+
+/dts-v1/;
+
+#include "s5l8960x-5s.dtsi"
+
+/ {
+       compatible = "apple,n53", "apple,s5l8960x", "apple,arm-platform";
+       model = "Apple iPhone 5s (LTE)";
+};
diff --git a/arch/arm64/boot/dts/apple/s5l8960x.dtsi b/arch/arm64/boot/dts/apple/s5l8960x.dtsi
new file mode 100644 (file)
index 0000000..0218eca
--- /dev/null
@@ -0,0 +1,113 @@
+// SPDX-License-Identifier: GPL-2.0+ OR MIT
+/*
+ * Apple S5L8960X "A7" SoC
+ *
+ * Other Names: H6, "Alcatraz"
+ *
+ * Copyright (c) 2022, Konrad Dybcio <konradybcio@kernel.org>
+ * Based on Asahi Linux's M1 (t8103.dtsi) and Corellium's A10 efforts.
+ */
+
+#include <dt-bindings/gpio/gpio.h>
+#include <dt-bindings/interrupt-controller/apple-aic.h>
+#include <dt-bindings/interrupt-controller/irq.h>
+#include <dt-bindings/pinctrl/apple.h>
+
+/ {
+       interrupt-parent = <&aic>;
+       #address-cells = <2>;
+       #size-cells = <2>;
+
+       clkref: clock-ref {
+               compatible = "fixed-clock";
+               #clock-cells = <0>;
+               clock-frequency = <24000000>;
+               clock-output-names = "clkref";
+       };
+
+       cpus {
+               #address-cells = <2>;
+               #size-cells = <0>;
+
+               cpu0: cpu@0 {
+                       compatible = "apple,cyclone";
+                       reg = <0x0 0x0>;
+                       cpu-release-addr = <0 0>; /* To be filled by loader */
+                       enable-method = "spin-table";
+                       device_type = "cpu";
+               };
+
+               cpu1: cpu@1 {
+                       compatible = "apple,cyclone";
+                       reg = <0x0 0x1>;
+                       cpu-release-addr = <0 0>; /* To be filled by loader */
+                       enable-method = "spin-table";
+                       device_type = "cpu";
+               };
+       };
+
+       soc {
+               compatible = "simple-bus";
+               #address-cells = <2>;
+               #size-cells = <2>;
+               nonposted-mmio;
+               ranges;
+
+               serial0: serial@20a0a0000 {
+                       compatible = "apple,s5l-uart";
+                       reg = <0x2 0x0a0a0000 0x0 0x4000>;
+                       reg-io-width = <4>;
+                       interrupt-parent = <&aic>;
+                       interrupts = <AIC_IRQ 140 IRQ_TYPE_LEVEL_HIGH>;
+                       /* Use the bootloader-enabled clocks for now. */
+                       clocks = <&clkref>, <&clkref>;
+                       clock-names = "uart", "clk_uart_baud0";
+                       status = "disabled";
+               };
+
+               wdt: watchdog@20e027000 {
+                       compatible = "apple,s5l8960x-wdt", "apple,wdt";
+                       reg = <0x2 0x0e027000 0x0 0x1000>;
+                       clocks = <&clkref>;
+                       interrupt-parent = <&aic>;
+                       interrupts = <AIC_IRQ 4 IRQ_TYPE_LEVEL_HIGH>;
+               };
+
+               aic: interrupt-controller@20e100000 {
+                       compatible = "apple,s5l8960x-aic", "apple,aic";
+                       reg = <0x2 0x0e100000 0x0 0x100000>;
+                       #interrupt-cells = <3>;
+                       interrupt-controller;
+               };
+
+               pinctrl: pinctrl@20e300000 {
+                       compatible = "apple,s5l8960x-pinctrl", "apple,pinctrl";
+                       reg = <0x2 0x0e300000 0x0 0x100000>;
+
+                       gpio-controller;
+                       #gpio-cells = <2>;
+                       gpio-ranges = <&pinctrl 0 0 200>;
+                       apple,npins = <200>;
+
+                       interrupt-controller;
+                       #interrupt-cells = <2>;
+                       interrupt-parent = <&aic>;
+                       interrupts = <AIC_IRQ 108 IRQ_TYPE_LEVEL_HIGH>,
+                                    <AIC_IRQ 109 IRQ_TYPE_LEVEL_HIGH>,
+                                    <AIC_IRQ 110 IRQ_TYPE_LEVEL_HIGH>,
+                                    <AIC_IRQ 111 IRQ_TYPE_LEVEL_HIGH>,
+                                    <AIC_IRQ 112 IRQ_TYPE_LEVEL_HIGH>,
+                                    <AIC_IRQ 113 IRQ_TYPE_LEVEL_HIGH>,
+                                    <AIC_IRQ 114 IRQ_TYPE_LEVEL_HIGH>;
+               };
+       };
+
+       timer {
+               compatible = "arm,armv8-timer";
+               interrupt-parent = <&aic>;
+               interrupt-names = "phys", "virt";
+               /* Note that A7 doesn't actually have a hypervisor (EL2 is not implemented). */
+               interrupts = <AIC_FIQ AIC_TMR_GUEST_PHYS IRQ_TYPE_LEVEL_HIGH>,
+                            <AIC_FIQ AIC_TMR_GUEST_VIRT IRQ_TYPE_LEVEL_HIGH>;
+       };
+};