Hi,
Default tick rate is configured as 1ms. I want to increase this tick rate to 10ms. Does changing configTICK_RATE_HZ from 1000 to 100 will do?
That will DECREASE the tick rate (and increase the tick PERIOD), at least for most normal ports that respect that value.