1# The minimum number of system ticks per second that this platform will
2# allow for a tickless kernel given its 24-bit timer and its 120 MHz
3# clock rate is 15.
4CONFIG_SYS_CLOCK_TICKS_PER_SEC=15
5