Por lo que puedo decir de la PPT que vinculó, usted es responsable de configurar el temporizador de hardware que genera la interrupción de tic y, por lo tanto, puede configurarlo al valor que desee. Mi referencia principal es la diapositiva 66 en el PPT que dice:
La tasa de tics del sistema se establece con #define
BSP_TICKS_PER_SECOND que por defecto es 100
Pero cambiar el #define no cambiará el período, alterando el registro de período para el temporizador que está usando. Una vez que lo hagas, tendrás que cambiar la # definición para mantenerla con el nuevo período.