On 04/24/2013 06:38 AM, George Pontis wrote: >> - is the timer running correctly? >> - is the clocksource incrementing correctly? > > I don't know how to check either of these.
Use printk...
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
