# eliminate timer interrupts during the benchmark # for platforms that do not allow frequency dividers large enough to get # system clock tick period in 1 sec, make system clock tick to 0.1 sec CONFIG_SYS_CLOCK_TICKS_PER_SEC=10