ZynqMP boot: no messages from SPL other than "Debug uart enabled"

[Major A]

Hi Michal,

Just to confirm and to eliminate any doubt:

When I build u-boot SPL for the ZCU102, u-boot actually forces me to 
supply a bl31.bin file, so that's what I did.  Apart from that, I expect 
the SPL to print its welcome message (which I have yet to see) on the 
UART and complain about other components (such as PMUFW, u-boot proper, 
etc.) missing.  Is that correct?

If it is, then there are only two components that can be wrong: u-boot 
SPL and ATF (bl31.bin), am I right?

Also, I assume that bl31.bin is incorporated into spl/boot.bin, so I 
don't need to supply it externally, is that so?

Don't get me wrong, I already tested loads of configurations with 
various incarnations of PMUFW and configuration object, etc., and never 
ever have I seen the "U-Boot SPL" welcome message on the UART.  I guess 
it just doesn't want to greet me for some reason or another.

Cheers,

   András