Index: trunk/platforms/linux_monocluster/top.cpp
===================================================================
--- trunk/platforms/linux_monocluster/top.cpp	(revision 688)
+++ trunk/platforms/linux_monocluster/top.cpp	(revision 689)
@@ -581,5 +581,26 @@
         }
     } else {
-        sc_start();
+        uint64_t n;
+        struct timeval t1, t2;
+
+        gettimeofday(&t1, NULL);
+
+        for (n = 1; ; n++) {
+            /* stats display */
+            if ((n % 5000000) == 0) {
+                gettimeofday(&t2, NULL);
+
+                uint64_t ms1 = (uint64_t)t1.tv_sec * 1000ULL +
+                    (uint64_t)t1.tv_usec / 1000;
+                uint64_t ms2 = (uint64_t)t2.tv_sec * 1000ULL +
+                    (uint64_t)t2.tv_usec / 1000;
+                std::cerr << "platform clock frequency "
+                    << (double)5000000 / (double)(ms2 - ms1) << "Khz" << std::endl;
+
+                gettimeofday(&t1, NULL);
+            }
+
+            sc_start(sc_core::sc_time(1, SC_NS));
+        };
     }