[PATCH v1 2/2] configs: verdin-am62p: enable RNG support for KASLR

Emanuele Ghidoli ghidoliemanuele at gmail.com
Wed Jul 2 15:49:37 CEST 2025


From: Emanuele Ghidoli <emanuele.ghidoli at toradex.com>

Enable DM_RNG in U-Boot to populate /chosen/kaslr-seed automatically.
Enable OP-TEE, which supports RNG, to provide entropy.

Signed-off-by: Emanuele Ghidoli <emanuele.ghidoli at toradex.com>
---
 configs/verdin-am62p_a53_defconfig | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/configs/verdin-am62p_a53_defconfig b/configs/verdin-am62p_a53_defconfig
index e782ad4faca7..f6cb21aad18a 100644
--- a/configs/verdin-am62p_a53_defconfig
+++ b/configs/verdin-am62p_a53_defconfig
@@ -172,6 +172,7 @@ CONFIG_REMOTEPROC_TI_K3_ARM64=y
 CONFIG_REMOTEPROC_TI_K3_DSP=y
 CONFIG_REMOTEPROC_TI_K3_R5F=y
 CONFIG_RESET_TI_SCI=y
+CONFIG_DM_RNG=y
 CONFIG_DM_SERIAL=y
 CONFIG_SOC_DEVICE=y
 CONFIG_SOC_DEVICE_TI_K3=y
@@ -179,6 +180,8 @@ CONFIG_SOC_TI=y
 CONFIG_SYSRESET=y
 CONFIG_SPL_SYSRESET=y
 CONFIG_SYSRESET_TI_SCI=y
+CONFIG_TEE=y
+CONFIG_OPTEE=y
 CONFIG_DM_THERMAL=y
 CONFIG_USB=y
 CONFIG_DM_USB_GADGET=y
@@ -197,3 +200,4 @@ CONFIG_USB_GADGET_PRODUCT_NUM=0x4000
 CONFIG_SPL_DFU=y
 CONFIG_FS_FAT_MAX_CLUSTSIZE=16384
 CONFIG_HEXDUMP=y
+# CONFIG_OPTEE_LIB is not set
-- 
2.43.0



More information about the U-Boot mailing list