2015-04-11 07:44:37 +08:00
|
|
|
# needed for printf output sent to console
|
|
|
|
CONFIG_STDOUT_CONSOLE=y
|
|
|
|
|
|
|
|
# eliminate timer interrupts during the benchmark
|
|
|
|
CONFIG_SYS_CLOCK_TICKS_PER_SEC=1
|
2015-06-02 04:52:11 +08:00
|
|
|
|
2015-12-03 02:29:39 +08:00
|
|
|
# We use irq_offload(), enable it
|
|
|
|
CONFIG_IRQ_OFFLOAD=y
|
2017-01-10 01:29:34 +08:00
|
|
|
|
|
|
|
# Reduce memory/code footprint
|
|
|
|
CONFIG_BLUETOOTH=n
|
2017-03-24 22:23:40 +08:00
|
|
|
#CONFIG_KERNEL_SHELL=y
|
|
|
|
#CONFIG_CONSOLE_SHELL=y
|
|
|
|
#CONFIG_OBJECT_TRACING=y
|
|
|
|
#CONFIG_THREAD_MONITOR=y
|