Re: [GIT PULL] arch timer updates for v4.11

[Daniel Lezcano]

On Mon, Feb 06, 2017 at 04:47:38PM +0000, Mark Rutland wrote:
> Hi Daniel,
> 
> These are the arch timer updates for v4.11. I wasn't sure if you wanted
> to pull these or pick them, so I'm sending the full series with all
> relevant tags folded in.
> 
> I'll send the arm64 documentation and the dts updates separately via
> arm64 and arm-soc respectively.

Hi Mark,

I will take the patches through my tree.

Thanks.

  -- Daniel