| # needed for printf output sent to console | |
| CONFIG_STDOUT_CONSOLE=y | |
| # 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 | |
| # We use irq_offload(), enable it | |
| CONFIG_IRQ_OFFLOAD=y | |
| CONFIG_LEGACY_KERNEL=y |