| 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 | |
| CONFIG_TEST_HW_STACK_PROTECTION=n | |
| CONFIG_COVERAGE=n |