Exynos4 arch used exynos4_timer as kernel timer. But In the plat-s5p, we already have a common s5p_timer for hrt. In this patch, I replace exynos4_timer with common s5p_timer. This patch is tested on SMDKV310 and SMDKC210.
[PATCH 1/4] ARM: S5P: Change s5p_timer for local timer support [PATCH 2/4] ARM: EXYNOS4: Update Kconfig and Makefile for s5p_timer [PATCH 3/4] ARM: EXYNOS4: Change each platform kernel timer using s5p_timer [PATCH 4/4] ARM: EXYNOS4: Delete exynos4 kernel timer -- To unsubscribe from this list: send the line "unsubscribe linux-samsung-soc" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
