Hello, I have researched this topic in the forum search option before registering. Anyway, im using pulseaudio manager for my sound devices. The output works fine. I also have an HDMI 'television'...