Hi,
I am running a OrangePi One with
Linux orangepione 3.4.113-sun8i #18 SMP PREEMPT Wed Jan 24 22:10:49 CET 2018 armv7l armv7l armv7l GNU/Linux
DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=16.04
DISTRIB_CODENAME=xenial
DISTRIB_DESCRIPTION="Ubuntu 16.04.3 LTS"
And it seems that when I start the system without the hdmi cable and plug it afterwards, the HDMI is not handle correctly and my TV stays with a red screen.
There is some way to configure the hdmi hot plug in this OS?
I found that raspiberry pi has this option. (https://www.raspberrypi.org/documentation/configuration/config-txt/video.md)