RTX timer tick rate

Hello, I was wondering if any of you uses RTX with a tick rate faster than 10 milliseconds. Franc Urbanc, RTX's author, recommends this setting but I am not sure why - a context switch overhead of...
RTX timer tick rate

Hello, I was wondering if any of you uses RTX with a tick rate faster than 10 milliseconds. Franc Urbanc, RTX's author, recommends this setting but I am not sure why - a context switch overhead of...
ARTX System Timer Tick on LPC2XXX devices

"By default, Timer T0 is used as the ARTX Kernel system tick timer. However any timer from T0 to T1 can be used as the system tick timer. The system tick timer may be changed in the ARTX_Config.c configuration...
Set Timer tick for system clock task

Hello, I changed the values for PLL in the startup_RTX.s file from the "HTTP_Example with RTX". Following is the code I changed. The original values are the one with ";" in front. This part of coude...
ARTX System Timer Tick on LPC2XXX devices

"By default, Timer T0 is used as the ARTX Kernel system tick timer. However any timer from T0 to T1 can be used as the system tick timer. The system tick timer may be changed in the ARTX_Config.c configuration...