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