[fritsch]

Hey @fritsch @yol 

Another "problem" : if I switch from HDMI3 (kodi) to HDMI1 (sky) and return in Kodi, I lost the signal.
When I lost the signal : stop kodi service and start kodi service and kodi turn on but without audio.

I must reboot the system to obtain audio + video working again

here the LOG

What could be?

 Fixate the EDID. Switching outputs means, you tell the Linux-Box that no TV is attached anymore ... as a workaround hard code the EDID via drm_kms_helper