Index: kernel/arch/sparc64/src/cpu/cpu.c
===================================================================
--- kernel/arch/sparc64/src/cpu/cpu.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/sparc64/src/cpu/cpu.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -33,12 +33,14 @@
  */
 
+#include <arch/asm.h>
 #include <cpu.h>
 #include <arch.h>
 #include <arch/register.h>
-#include <arch/asm.h>
 #include <print.h>
+#include <arch/boot/boot.h>
 
 void cpu_arch_init(void)
 {
+	CPU->arch.clock_frequency = bootinfo.processor.clock_frequency;
 }
 
@@ -94,5 +96,6 @@
 	}
 
-	printf("cpu%d: manuf=%s, impl=%s, mask=%d\n", CPU->id, manuf, impl, CPU->arch.ver.mask);
+	printf("cpu%d: manuf=%s, impl=%s, mask=%d (%dMHz)\n",
+		CPU->id, manuf, impl, CPU->arch.ver.mask, CPU->arch.clock_frequency/1000000);
 }
 
