From b3c15a1f4217b0a6de8d7e8a0b11f530b40f01e5 Mon Sep 17 00:00:00 2001
From: Phil Elwell <phil@raspberrypi.org>
Date: Thu, 5 Feb 2015 14:05:35 +0000
Subject: [PATCH 106/114] BCM2709_DT: Set the "always-on" flag for the timer to
 enable high res mode

---
 arch/arm/boot/dts/bcm2709.dtsi | 1 +
 1 file changed, 1 insertion(+)

--- a/arch/arm/boot/dts/bcm2709.dtsi
+++ b/arch/arm/boot/dts/bcm2709.dtsi
@@ -115,6 +115,7 @@
 			     <3 1>, // PHYS_NONSECURE_PPI
 			     <3 3>, // VIRT_PPI
 			     <3 2>; // HYP_PPI
+		always-on;
 	};
 
 	cpus: cpus {
