Change Timer Tick of RTOS - ThreadX
From what I can tell from the PPT you linked, you are responsible for setting up the hardware timer that generates the tick interrupt and therefore you can set it to whatever value you like.  My primary reference is slide 66 in the PPT which says:


  The System Tick Rate is set with #define
          BSP_TICKS_PER_SECOND which defaults to 100


But chaning the #define won't change the period - altering the period register for the timer you're using will.  Once you do that you'll have to change the #define to keep it consisten with the new period.