Dear Marek, On 19. 8. 28. 오후 9:10, 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 f83786640f94..9dab1f50a02f 100644 > --- a/arch/arm/mach-exynos/Kconfig > +++ b/arch/arm/mach-exynos/Kconfig > @@ -19,6 +19,7 @@ menuconfig ARCH_EXYNOS > select EXYNOS_SROM > select EXYNOS_PM_DOMAINS if PM_GENERIC_DOMAINS > select GPIOLIB > + select HAVE_ARM_ARCH_TIMER if ARCH_EXYNOS5 && VIRTUALIZATION > select HAVE_ARM_SCU if SMP > select HAVE_S3C2410_I2C if I2C > select HAVE_S3C2410_WATCHDOG if WATCHDOG > Reviewed-by: Chanwoo Choi <cw00.choi@xxxxxxxxxxx> -- Best Regards, Chanwoo Choi Samsung Electronics