CONFIG_TEST=y
# needed for printf output sent to console
CONFIG_STDOUT_CONSOLE=y

# eliminate timer interrupts during the benchmark
CONFIG_SYS_CLOCK_TICKS_PER_SEC=1
CONFIG_TICKLESS_KERNEL=n

# We use irq_offload(), enable it
CONFIG_IRQ_OFFLOAD=y

# Reduce memory/code footprint
CONFIG_BT=n
#CONFIG_KERNEL_SHELL=y
#CONFIG_SHELL=y
#CONFIG_OBJECT_TRACING=y
#CONFIG_THREAD_MONITOR=y
CONFIG_FORCE_NO_ASSERT=y

#Disable Userspace
CONFIG_TEST_USERSPACE=n
CONFIG_TEST_HW_STACK_PROTECTION=n
CONFIG_COVERAGE=n