diff --git a/arch/x86/kernel/processor.c b/arch/x86/kernel/processor.c
index cdc197d1..3de3d90c 100644
--- a/arch/x86/kernel/processor.c
+++ b/arch/x86/kernel/processor.c
@@ -21,7 +21,9 @@
 #include <metalsvm/stdio.h>
 #include <metalsvm/time.h>
 #include <metalsvm/processor.h>
-//#include <asm/io.h>
+#ifdef CONFIG_ROCKCREEK
+#include <asm/scc.h>
+#endif
 
 static uint32_t cpu_freq = 0;
 
@@ -31,10 +33,18 @@ void udelay(uint32_t usecs) __attribute__((optimize(0)));
 
 uint32_t detect_cpu_frequency(void)
 {
+#ifdef CONFIG_ROCKCREEK
+	if (cpu_freq > 0)
+		return cpu_freq;
+
+	cpu_freq = scc_info.tile_frequency*1000000;
+
+	return cpu_freq;
+#else
 	uint64_t start, end, diff;
 	uint64_t ticks, old;
 
-	if (cpu_freq > 0)
+	if (BUILTIN_EXPECT(cpu_freq > 0, 0))
 		return cpu_freq;
 
 	old = get_clock_tick();
@@ -53,6 +63,7 @@ uint32_t detect_cpu_frequency(void)
 	cpu_freq = (uint32_t) (diff / (uint64_t) 1000000);
 
 	return cpu_freq;
+#endif
 }
 
 uint32_t get_cpu_frequency(void)