blob: 0e3cb09f0b391890d5dcd6054f124407917dfbee [file] [log] [blame]
CONFIG_TEST=y
# 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_FORCE_NO_ASSERT=y
CONFIG_COVERAGE=n