Hi Marek, On 19. 2. 15. 오후 9:52, Marek Szyprowski wrote: > ARM architected timer can be used together with Exynos MultiCore Timer > driver, so enable support for it. Support for ARM architected timers is > essential for enabling proper KVM support. > > Signed-off-by: Marek Szyprowski <m.szyprowski@xxxxxxxxxxx> > --- > arch/arm/mach-exynos/Kconfig | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/arch/arm/mach-exynos/Kconfig b/arch/arm/mach-exynos/Kconfig > index b40963cf91c7..b5ec21c027a1 100644 > --- a/arch/arm/mach-exynos/Kconfig > +++ b/arch/arm/mach-exynos/Kconfig > @@ -18,6 +18,7 @@ menuconfig ARCH_EXYNOS > select EXYNOS_SROM > select EXYNOS_PM_DOMAINS if PM_GENERIC_DOMAINS > select GPIOLIB > + select HAVE_ARM_ARCH_TIMER > select HAVE_ARM_SCU if SMP > select HAVE_S3C2410_I2C if I2C > select HAVE_S3C2410_WATCHDOG if WATCHDOG > Reveiwed-by: Chanwoo Choi <cw00.choi@xxxxxxxxxxx> -- Best Regards, Chanwoo Choi Samsung Electronics