Re: [PATCH v2 6/6] arm64: platform: Add enable Exynos Multi-Core Timer driver

[Krzysztof Kozlowski]

On Mon, 15 Oct 2018 at 14:31, Marek Szyprowski <m.szyprowski@xxxxxxxxxxx> wrote:
>
> On Exynos SoCs enabling MCT driver is required even if ARM Architected
> Timer driver is used to for managing timer hardware and clock source
> events.
>
> Signed-off-by: Marek Szyprowski <m.szyprowski@xxxxxxxxxxx>
> ---
>  arch/arm64/Kconfig.platforms | 1 +
>  1 file changed, 1 insertion(+)

Looks okay, I'll take it after this merge window.

In case this was applied directly to arm-soc:
Reviewed-by: Krzysztof Kozlowski <krzk@xxxxxxxxxx>

Best regards,
Krzysztof