Wat het probleem volgens mij is (denk bij jullie beiden) dat het TV-kanaal voor de HDMI-aansluiting ook het geluid van HDMI wil hebben. Linux geeft dat blijkbaar niet automatisch via HDMI door, dat zul je dan ergens moeten instellen (heb zelf nog nooit met HDMI gewerkt onder Linux dus geen idee waar). Die tulpstekkers horen bij een ander kanaal op de TV vermoed ik, net als dat bijvoorbeeld SCART een eigen kanaal heeft.
Ik heb beeld via VGA lopen. Hoe jij aan HDMI komt weet ik niet, mar mijn pc heeft een onboard GPU controller en alleen een VGA uitgang.
Dus nogmaals:
Beeld via VGA
Geluid via audio uitgang onboard audio controller
