CONFIG_TEST_RANDOM_GENERATOR=y
CONFIG_TINYCRYPT=y
CONFIG_TINYCRYPT_AES=y
CONFIG_TINYCRYPT_CTR_PRNG=y
CONFIG_MAIN_STACK_SIZE=2048