# needed for printf output sent to console | |
CONFIG_STDOUT_CONSOLE=y | |
# eliminate timer interrupts during the benchmark | |
CONFIG_SYS_CLOCK_TICKS_PER_SEC=1 | |
# We use irq_offload(), enable it | |
CONFIG_IRQ_OFFLOAD=y | |
CONFIG_LEGACY_KERNEL=y | |
# Reduce memory/code footprint | |
CONFIG_BLUETOOTH=n |