# Use standard security profile. (=> no need for a random number generator)
CONFIG_STDOUT_CONSOLE=y