[PATCH 3/5] arm64: mediatek: enable MTK_TIMER

[Matthias Brugger]

On Monday, July 13, 2015 05:32:47 PM Yingjoe Chen wrote:
> Enable MTK_TIMER for MediaTek plaform, which will be used as
> schedule clock.
> 
> Signed-off-by: Yingjoe Chen <yingjoe.chen at mediatek.com>
> ---

Applied, thanks.