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

[Matwey V. Kornilov]

20.09.2019 3:06, 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?
> 


Yes. I think so.

Could you please provide us console logs for both successful and
unsuccessful cases? Maybe one could see some meaning difference.