U-Boot video output for rk3588

[Simon Glass]

Hi,

Does anyone know how to enable HDMI output on this device in U-Boot,
e.g. on rock5b?

Regards,
Simon