CONFIG_FLOAT=y
CONFIG_FP_SHARING=y

CONFIG_STDOUT_CONSOLE=y

# Let stack canaries use non-random number generator.
# This option is NOT to be used in production code.

CONFIG_TEST_RANDOM_GENERATOR=y