# all printf, fprintf to stdout go to console
CONFIG_STDOUT_CONSOLE=y
CONFIG_NUM_COMMAND_PACKETS=50
# eliminate timer interrupts during the benchmark
CONFIG_SYS_CLOCK_TICKS_PER_SEC=1
CONFIG_MAIN_STACK_SIZE=16384
CONFIG_MDEF=y