
Hi PAtrick
On 6/30/22 10:20, Patrick Delaunay wrote:
Activate the RNG driver provided by OP-TEE.
Signed-off-by: Patrick Delaunay patrick.delaunay@foss.st.com
(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/stm32mp13_defconfig +++ b/configs/stm32mp13_defconfig @@ -27,6 +27,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 @@ -44,6 +45,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
Reviewed-by: Patrice Chotard patrice.chotard@foss.st.com
Thanks Patrice