@@ -11,7 +11,7 @@
PHYS_OFFSET := $(shell perl -I $(top_srcdir) $(top_srcdir)/findmem.pl $(KERNEL_DTB))
UART_BASE := $(shell perl -I $(top_srcdir) $(top_srcdir)/findbase.pl $(KERNEL_DTB) 0 'arm,pl011')
SYSREGS_BASE := $(shell perl -I $(top_srcdir) $(top_srcdir)/findbase.pl $(KERNEL_DTB) 0 'arm,vexpress-sysreg')
-CNTFRQ := 0x01800000 # 24Mhz
+CNTFRQ := 24000000
CPU_IDS := $(shell perl -I $(top_srcdir) $(top_srcdir)/findcpuids.pl $(KERNEL_DTB))
NR_CPUS := $(shell echo $(CPU_IDS) | tr ',' ' ' | wc -w)
As the comment states, the frequency of the Generic Timer in the model is 24 MHz, and not the currently used 0x1800000, which is actually 25,165,824 (~5% higher). Use the proper number, and not something power-of-2 based. Signed-off-by: Andre Przywara <andre.przywara@arm.com> --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)