Commit 73a1cb27 moved the check whether we should set the architected timer frequency from CONFIG_SYS_CLK_FREQ to CONFIG_TIMER_CLK_FREQ, but did not update all users of it.
The one where I (finally) realized why KVM didn't work is the Arndale board, so this patch adds the respective define to it.
Signed-off-by: Alexander Graf agraf@suse.de Fixes: 73a1cb27 --- include/configs/exynos-common.h | 1 + 1 file changed, 1 insertion(+)
diff --git a/include/configs/exynos-common.h b/include/configs/exynos-common.h index 852829c..c4e731f 100644 --- a/include/configs/exynos-common.h +++ b/include/configs/exynos-common.h @@ -31,6 +31,7 @@
/* input clock of PLL: 24MHz input clock */ #define CONFIG_SYS_CLK_FREQ 24000000 +#define CONFIG_TIMER_CLK_FREQ 24000000
#define CONFIG_SETUP_MEMORY_TAGS #define CONFIG_CMDLINE_TAG