The old calibration value was from some ancient ppc32 embedded board, I
guess. This reflects the awesome power of them ppc64 boxen better :)
-- Heikki Lindholm
diff -Nru xenomai/include/nucleus/asm-ppc64/calibration.h
xenomai-dev/include/nucleus/asm-ppc64/calibration.h
--- xenomai/include/nucleus/asm-ppc64/calibration.h 2005-10-11
10:30:03.000000000 +0300
+++ xenomai-dev/include/nucleus/asm-ppc64/calibration.h 2005-10-11
17:10:11.000000000 +0300
@@ -32,7 +32,7 @@
#define __sched_latency CONFIG_XENO_HW_SCHED_LATENCY
#else
-#define __sched_latency 18500
+#define __sched_latency 1000
#endif /* CONFIG_XENO_HW_SCHED_LATENCY */