A macro defined to indicate the kernel tick frequency. Note that this
frequency can be lower than the interrupt frequency. This should be
defined by the -D option in a makefile.
This macro is only useful if timer.S is used.
Copyright © 2008-10-25 by Tak Auyeung
