From 4239a0e015341fba7ba1b61b93bbe52ed59762b8 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Thu, 18 Jul 2013 10:49:37 +0200
Subject: [PATCH] FOC: Rate OMAP4 timer at 350 MHz

Only valid for PandaBoard ES2 where u-boot sets the MPU clock to 700 MHz (of
possible 1200 MHz) only.
---
 .../src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp  | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp b/kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp
index b721598a..1d2d9189 100644
--- a/kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp
@@ -4,5 +4,13 @@ INTERFACE [arm && mptimer && omap4_pandaboard]:
 EXTENSION class Timer
 {
 private:
-  static Mword interval() { return 499999; }
+  static Mword interval()
+  {
+    /*
+     * This is only valid for Panda ES2, as we run it at our offices. For ES2
+     * U-Boot will clock the board at 700 MHz leading to a 350 MHz private timer
+     * tick.
+     */
+    return 349999;
+  }
 };