Trying to build u-boot: missing rockchip-tpl atf-bl31
Posted: Tue Jul 08, 2025 9:13 pm
I'm trying to build U-Boot (from git.denx.de/u-boot.git).
I basically did `make nanopi-r5s-rk3568_defconfig; make` and I'm getting the following message at the end:
I looked at https://github.com/rockchip-linux/rkbin and I see some promising ddr/bl31 files there, but I don't know which one to use (and none of the "tee" files in there seem relevant for rk3568):
Any help to find the appropriate files (or maybe how to change the config so I don't need those files)?
I basically did `make nanopi-r5s-rk3568_defconfig; make` and I'm getting the following message at the end:
Image 'simple-bin' is missing external blobs and is non-functional: rockchip-tpl atf-bl31
/binman/simple-bin/mkimage/rockchip-tpl (rockchip-tpl):
An external TPL is required to initialize DRAM. Get the external TPL
binary and build with ROCKCHIP_TPL=/path/to/ddr.bin. One possible source
for the external TPL binary is https://github.com/rockchip-linux/rkbin.
/binman/simple-bin/fit/images/@atf-SEQ/atf-bl31 (atf-bl31):
See the documentation for your board. You may need to build ARM Trusted
Firmware and build with BL31=/path/to/bl31.bin
Image 'simple-bin' has faked external blobs and is non-functional: rockchip-tpl
Image 'simple-bin' is missing optional external blobs but is still functional: tee-os
/binman/simple-bin/fit/images/@tee-SEQ/tee-os (tee-os):
See the documentation for your board. You may need to build Open Portable
Trusted Execution Environment (OP-TEE) and build with TEE=/path/to/tee.bin
I looked at https://github.com/rockchip-linux/rkbin and I see some promising ddr/bl31 files there, but I don't know which one to use (and none of the "tee" files in there seem relevant for rk3568):
% ls rkbin/bin/rk35/rk3568*bl31*
rkbin/bin/rk35/rk3568_bl31_cpu3_v1.01.elf
rkbin/bin/rk35/rk3568_bl31_l3_part_ecc_v1.00.elf
rkbin/bin/rk35/rk3568_bl31_rt_v1.02.elf
rkbin/bin/rk35/rk3568_bl31_ultra_v2.17.elf
rkbin/bin/rk35/rk3568_bl31_v1.44.elf
% ls rkbin/bin/rk35/rk3568*ddr*
rkbin/bin/rk35/rk3568_ddr_1056MHz_D3_LP3_eyescan_v1.23.bin
rkbin/bin/rk35/rk3568_ddr_1056MHz_v1.23.bin
rkbin/bin/rk35/rk3568_ddr_1332MHz_v1.23.bin
rkbin/bin/rk35/rk3568_ddr_1560MHz_D4_LP4_4x_eyescan_v1.23.bin
rkbin/bin/rk35/rk3568_ddr_1560MHz_v1.23.bin
rkbin/bin/rk35/rk3568_ddr_920MHz_v1.23.bin
src/u-boot-0% l rkbin/bin/rk35/**/*tee*
rkbin/bin/rk35/rk3506_tee_ta_v1.00.bin
rkbin/bin/rk35/rk3506_tee_v2.00.bin
%
Any help to find the appropriate files (or maybe how to change the config so I don't need those files)?