On 09/17/2011 05:15 PM, Bertold Van den Bergh wrote: > Hello, > > I am trying to port Xenomai to the freescale stmp3xxx cpu (I.MX233). > > I added TSC code from plat-s3c24xx as this processor also uses a 16 > bit downcounter based timer. I run the system tick counter and the TSC > freerunning counter at 32KHz (I plan to speed it up to increase > precision but I have a question about that). I have monitored the TSC > output and it is a monotonic count without jumps forward or backward. > Xenomai and linux boots fine. I can also start xenomai tasks, and they > even appear to work to some extent.
The mask member filled by __ipipe_mach_get_tscinfo is wrong, the right mask for a 16 bits counter is 0x0000ffff -- Gilles. _______________________________________________ Xenomai-core mailing list Xenomaiemail@example.com https://mail.gna.org/listinfo/xenomai-core