Does anyone know if HDMI output is supported on RPi4 or if it is only serial console? Is there a way to tell from dmesg?
John