On Fri, Apr 07, 2017 at 02:59:21PM +0100, Marc Zyngier wrote: > Hi Daniel, > > Please find below the pull request for the arm64 architected timer > workaround infrastructure. As discussed on the list, the first 5 > patches are shared with the arm64 tree (and the whole branch is stable > anyway). >