Timer frequency on PC port

Kernel
1

nobody wrote on Friday, March 23, 2007:

In PC port, there is no configCPU_CLOCK_HZ set, nor any of the RTOS code there uses it. What is frequency of timer with this port? Would setting this variable have any influence to the frequency of timer? If not, what is default value for it?

2

nobody wrote on Thursday, March 29, 2007:

I figured it out. An all PCs, the frequency generator that runs the counter circuit works at the same frequency, so the configCPU_CLOCK_HZ is not needed.