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.
Steven _______________________________________________ Xenomai-core mailing list Xenomai-core@gna.org https://mail.gna.org/listinfo/xenomai-core