Yes, they are helpful. It seems you have HDMI profiles but not ports, because your driver does not create any jacks.
Could you try to edit this file: /usr/share/pulseaudio/alsa-mixer/paths/hdmi-output-0.conf and change this line required-any = any to required-any = ignore Restart pulseaudio (e g "pulseaudio -k", or restart your computer) for the changes to take effect. Please report back if this resolved your problem. Thanks! -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/961286 Title: HDMI audio device detected by the system but not listed in Sound Settings To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/961286/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs