system-arm: Add irq for hypervisor timer in device tree

ARM fast model CPU cannot get timer interrupts without this IRQ setting
in the device tree.

Change-Id: I084c475c04285f4f40eb38a80ddd038207e4764f
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/19650
Tested-by: kokoro <noreply+kokoro@google.com>
Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
Maintainer: Andreas Sandberg <andreas.sandberg@arm.com>

diff --git a/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi b/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi
index 54a02b269fb2039ebd3785af0535605d8ed6f3bb..61a01041573fb1859553522a467ac6b4434ff1bc 100644 (file)
--- a/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi
+++ b/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi
@@ -53,7 +53,8 @@
                             "arm,armv7-timer";
                interrupts = <1 13 0xf08>,
                             <1 14 0xf08>,
-                            <1 11 0xf08>;
+                            <1 11 0xf08>,
+                            <1 10 0xf08>;
                clocks = <&osc_sys>;
                clock-names="apb_pclk";
        };

diff --git a/system/arm/dt/platforms/vexpress_gem5_v2_base.dtsi b/system/arm/dt/platforms/vexpress_gem5_v2_base.dtsi
index 9cdee856007d6e54e38a42ef5c263e4459722088..b901b92796d2dc2f4040f1200047d3b259af3cff 100644 (file)
--- a/system/arm/dt/platforms/vexpress_gem5_v2_base.dtsi
+++ b/system/arm/dt/platforms/vexpress_gem5_v2_base.dtsi
@@ -55,7 +55,8 @@
                             "arm,armv7-timer";
                interrupts = <1 13 0xf08>,
                             <1 14 0xf08>,
-                            <1 11 0xf08>;
+                            <1 11 0xf08>,
+                            <1 10 0xf08>;
                clocks = <&osc_sys>;
                clock-names="apb_pclk";
        };