The timer interrupt frequency (timer resolution) is defined in the constant
DEFAULT_TIMER_RESOLUTION_MS
in the fileos_include.h
. The minimum value for this integer variable is 1; the default value is 10 milliseconds.If you change this value, you must rebuild the run-time libraries to have your changes take effect.