[PATCH 0/2] ARM: EXYNOS4: Add support for MCT PPI

This patch is required to support upcoming Samsung SoCs.

Current MCT can support only SPI for local timers but upcoming EXYNOS SoCs
doesn't have SPI for local timers.

NOTE:
This patches will not work with Marc Zyngier's "ARM: gic: consolidate
PPI handling". It means if his patch is applied, this should be dropped
and re-worked.

[PATCH 1/2] ARM: EXYNOS4: Add support PPI in external GIC
[PATCH 2/2] ARM: EXYNOS4: Add support MCT PPI for EXYNOS4212

Thanks.

Best regards,
Kgene.
--
Kukjin Kim [off-list ref], Senior Engineer,
SW Solution Development Team, Samsung Electronics Co., Ltd.