Patrick Georgi (patrick@georgi-clan.de) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/4434
-gerrit
commit bf3fe26e1f400fa2f37076e7a25ae552d14787ca Author: David Hendricks dhendrix@chromium.org Date: Mon Aug 5 18:53:15 2013 -0700
exynos5420: minor correction to CPU frequency print
This divides the CPU frequency by 1,000,000 instead of 2^20.
serial console shows "CPU: S5P5420 @ 800MHz" instead of claiming 762MHz.
Change-Id: I70cc5b62f689c5553b57c82be61233fb9f733f6e Reviewed-on: https://gerrit.chromium.org/gerrit/64743 Reviewed-by: Gabe Black gabeblack@chromium.org Reviewed-by: Ronald G. Minnich rminnich@chromium.org Commit-Queue: David Hendricks dhendrix@chromium.org Tested-by: David Hendricks dhendrix@chromium.org --- src/cpu/samsung/exynos5420/cpu.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/cpu/samsung/exynos5420/cpu.c b/src/cpu/samsung/exynos5420/cpu.c index 729e6b3..1940b88 100644 --- a/src/cpu/samsung/exynos5420/cpu.c +++ b/src/cpu/samsung/exynos5420/cpu.c @@ -159,7 +159,7 @@ static void cpu_enable(device_t dev) static void cpu_init(device_t dev) { printk(BIOS_INFO, "CPU: S5P%X @ %ldMHz\n", - cpu_id, get_arm_clk() / (1024*1024)); + cpu_id, get_arm_clk() / 1000000);
usb_init(dev); }