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

Reply via email to