[U-Boot] ROCK64 fails to boot using U-Boot TPL

[Simon South]

On 2019-09-19 11:48 a.m., Matwey V. Kornilov wrote:
> I have no idea what is going on. But are you sure that you tested the
> same u-boot binaries with or without binary TPL?
I believe so. Here's how I build U-Boot with its own TPL:

     make -j2 distclean; rm idbloader.img
     make -j2 rock64-rk3328_defconfig all u-boot.itb

With the Rockchip TPL instead, it's:

     make -j2 distclean; rm idbloader.img
     make -j2 rock64-rk3328_defconfig all u-boot.itb
     tools/mkimage -n rk3328 -T rksd -d 
~/src/rockchip-linux/rkbin/bin/rk33/rk3328_ddr_333MHz_v1.16.bin 
idbloader.img
     cat spl/u-boot-spl.bin >> idbloader.img

In either case I install on the microSD card with

     sudo dd if=idbloader.img of=/dev/sdb seek=64
     sudo dd if=u-boot.itb of=/dev/sdb seek=16384

Does this look right?

-- 
Simon South
simon at simonsouth.net