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 <kgene.kim@xxxxxxxxxxx>, Senior Engineer, SW Solution Development Team, Samsung Electronics Co., Ltd. -- To unsubscribe from this list: send the line "unsubscribe linux-samsung-soc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html