From 72d7a302f634029ef2874d864c294fd9bfc48739 Mon Sep 17 00:00:00 2001 From: Patrick Delaunay Date: Thu, 30 Jun 2022 10:20:20 +0200 Subject: [PATCH] configs: stm32mp13: activate RNG support Activate the RNG driver provided by OP-TEE. Signed-off-by: Patrick Delaunay Reviewed-by: Patrice Chotard --- configs/stm32mp13_defconfig | 3 +++ 1 file changed, 3 insertions(+) diff --git a/configs/stm32mp13_defconfig b/configs/stm32mp13_defconfig index f5b6262883..4707315b76 100644 --- a/configs/stm32mp13_defconfig +++ b/configs/stm32mp13_defconfig @@ -28,6 +28,7 @@ CONFIG_CMD_GPIO=y CONFIG_CMD_MMC=y CONFIG_CMD_CACHE=y CONFIG_CMD_TIME=y +CONFIG_CMD_RNG=y CONFIG_CMD_TIMER=y CONFIG_CMD_LOG=y CONFIG_OF_LIVE=y @@ -45,6 +46,8 @@ CONFIG_DM_REGULATOR_FIXED=y CONFIG_DM_REGULATOR_GPIO=y CONFIG_DM_REGULATOR_SCMI=y CONFIG_RESET_SCMI=y +CONFIG_DM_RNG=y +CONFIG_RNG_OPTEE=y CONFIG_SERIAL_RX_BUFFER=y CONFIG_SYSRESET_PSCI=y CONFIG_TEE=y -- 2.39.5