It seems that the real problem is that something is wrong with the
TSC. We disabled the watchdog code that removes the TSC as the
clocksource. Again, the kernel says timerdev is pit (which is right
because there is no apic) and clockdev is tsc. I go back to emails
with Jan and Phlippe from Feb 2008 regarding the differences in
timebases between PIT and TSC. It seems that TSC is stable but I don't
know. If I had one of those boards I'd be much better off.
Xenomai-core mailing list