2015-04-11 07:44:37 +08:00
|
|
|
# Use standard security profile for maximum performance.
|
|
|
|
|
|
|
|
# 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
|
|
|
|
|
|
|
# needed for dynamic interrupt registration
|
|
|
|
CONFIG_NUM_DYNAMIC_STUBS=2
|