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


Xenomai-core mailing list

Reply via email to