14 lines
405 B
Plaintext
14 lines
405 B
Plaintext
# Use standard security profile for maximum performance.
|
|
CONFIG_ENHANCED_SECURITY=n
|
|
|
|
# needed for printf output sent to console
|
|
CONFIG_STDOUT_CONSOLE=y
|
|
|
|
# minimize timer interrupts during the benchmark
|
|
# due the limitation of the i8253 divider register
|
|
# system timer tick period can't be set long
|
|
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
|
|
|
|
# needed for dynamic interrupt registration
|
|
CONFIG_NUM_DYNAMIC_STUBS=2
|