[PATCH 07/10] configs: stm32mp13: activate RNG support

Activate the RNG driver provided by OP-TEE. Signed-off-by: Patrick Delaunay --- (no changes since v1) configs/stm32mp13_defconfig | 3 +++ 1 file changed, 3 insertions(+) diff --git a/configs/stm32mp13_defconfig b/configs/stm32mp13_defconfig index b5dcec78f51..3fa1642b2e4 100644 --- a/configs

[PATCH 07/10] configs: stm32mp13: activate RNG support

Activate the RNG driver provided by OP-TEE. Signed-off-by: Patrick Delaunay --- configs/stm32mp13_defconfig | 3 +++ 1 file changed, 3 insertions(+) diff --git a/configs/stm32mp13_defconfig b/configs/stm32mp13_defconfig index b5dcec78f51..3fa1642b2e4 100644 --- a/configs/stm32mp13_defconfig ++