diff --git a/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi b/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi
index 54a02b2..61a0104 100644
--- 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 9cdee85..b901b92 100644
--- 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";
 	};