5.2 ISR_FREQ

This macro defines the frequency of the ISR responsible to provide a timing basis for the kernel. It should be defined by the -D option in a makefile.

This macro is only useful if timer.S is used.